Search Results - interactive normalization programming programming care https

Search alternatives:
interactive normalization » interactive visualization , alternative normalization , integrating normalization
normalization programming » organization programming , organisation programming , communication programming
programming programming » programming programmed , programming program
programming care » programming case , programming core , programming cable
care https » change https

Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings /

Published 2008

Table of Contents: “... Programs -- Engineering an Incremental ASP Solver -- Concurrent and Local Evaluation of Normal Programs...”
View full text

Electronic eBook

Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II /

Published 2015

Table of Contents: “... of Intersecting Regular, Context-Free, and Tree Languages -- Containment of Monadic Datalog Programs via Bounded...”
View full text

Electronic eBook

Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings /

Published 2013

Table of Contents: “...Towards Reactive Multi-Context Systems -- Logic Programming in the 1970s -- Integrating Temporal...”
View full text

Electronic eBook

Logics in Artificial Intelligence 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings /

Published 2008

Table of Contents: “... Orders -- Normal Form Nested Programs -- A Logic for Closed-World Interaction -- Declarative Semantics...”
View full text

Electronic eBook

Diagrammatic Representation and Inference 5th International Conference, Diagrams 2008, Herrsching, Germany, September 19-21, 2008, Proceedings /

Published 2008

Table of Contents: “... -- Visual Programming with Interaction Nets -- Theoretical Aspects -- Spider Diagrams of Order and a...”
View full text

Electronic eBook

Theorem Proving in Higher Order Logics 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings /

Published 2008

Table of Contents: “... — An Interactive Prover for the Boogie Program-Verifier -- Secure Microkernels, State Monads and Scalable...”
View full text

Electronic eBook

Mathematical Foundations of Computer Science 2008 33rd International Symposium, MFCS 2008, Torun, Poland, August 25-29, 2008, Proceedings /

Published 2008

Table of Contents: “... Interaction in Distributed Systems -- A Robust Class of Regular Languages -- Deterministic Models...”
View full text

Electronic eBook

Progress in Artificial Intelligence 13th Portuguese Conference on Artificial Intelligence, EPIA 2007, Workshops: GAIW, AIASTS, ALEA, AMITA, BAOSW, BI, CMBSB, IROBOT, MASTA, STCS, a...

Published 2007

Table of Contents: “... for Intensive Care -- A Tool for Interactive Subgroup Discovery Using Distribution Rules -- Quantitative...”
View full text

Electronic eBook

Human-Centred Software Engineering Third International Conference, HCSE 2010, Reykjavik, Iceland, October 14-15, 2010. Proceedings /

Published 2010

Table of Contents: “... Design -- Dazed and Confused Considered Normal: An Approach to Create Interactive Systems for People...”
View full text

Electronic eBook

ECMO-Extracorporeal Life Support in Adults

Published 2014

Table of Contents: “... for circulatory support -- Extracorporeal life support: interactions with normal circulation -- ECMO for ischemic...”
View full text

Electronic eBook

On the Move to Meaningful Internet Systems: OTM 2014 Workshops Confederated International Workshops: OTM Academy, OTM Industry Case Studies Program, C&TC, EI2N, INBAST, ISDE, META4eS, MSC and OnToContent...

Published 2014

Table of Contents: “... Reconstructing Digital Objects’ Custody Chain -- Industry Case Studies Program 2014 -- Industry Case Studies...”
View full text

Electronic eBook

Mathematical Software -- ICMS 2014 4th International Conference, Seoul, South Korea, August 5-9, 2014, Proceedings /

Published 2014

Table of Contents: “... in Teaching the Bivariate Normal Distributions -- Creating Interactive Graphics for Mathematics Education...”
View full text

Electronic eBook

Web Reasoning and Rule Systems 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013, Proceedings /

Published 2013

Table of Contents: “... Formal -- Rule Revision in Normal DL Logic Programs -- OBDA and Intermodal Logistics: Active Projects...”
View full text

Electronic eBook

Database Systems for Advanced Applications 18th International Conference, DASFAA 2013, Wuhan, China, April 22-25, 2013. Proceedings, Part I /

Published 2013

Table of Contents: “... -- On Leveraging Crowdsourcing Techniques for Schema Matching Networks -- A Mechanism for Stream Program...”
View full text

Electronic eBook

Database Systems for Advanced Applications 18th International Conference, DASFAA 2013, Wuhan, China, April 22-25, 2013. Proceedings, Part II /

Published 2013

Table of Contents: “... -- On Leveraging Crowdsourcing Techniques for Schema Matching Networks -- A Mechanism for Stream Program...”
View full text

Electronic eBook

Advances in Multimedia and Network Information System Technologies

Published 2010

Table of Contents: “... -- The Synchronization of the Images Based on Normalized Mean Square Error Algorithm -- Evaluation of the Separation...”
View full text

Electronic eBook

Data Integration in the Life Sciences 5th International Workshop, DILS 2008, Evry, France, June 25-27, 2008, Proceedings /

Published 2008

Table of Contents: “... and Normalization Techniques in the Web -- Exploiting Ontology Structure and Patterns of Annotation to Mine...”
View full text

Electronic eBook

Knowledge-Based and Intelligent Information and Engineering Systems 14th International Conference, KES 2010, Cardiff, UK, September 8-10, 2010, Proceedings, Part IV /

Published 2010

Table of Contents: “... Learning Program on Embedded Software Design with Collaboration Support Tools -- Multilingual Discussion...”
View full text

Electronic eBook

Advances in Artificial Intelligence and Its Applications 12th Mexican International Conference, MICAI 2013, Mexico City, Mexico, November 24-30, 2013, Proceedings, Part I /

Published 2013

Table of Contents: “... for Possibilistic Normal Programs -- Knowledge-Based Systems and Multi-Agent Systems Estimating the Number of Test...”
View full text

Electronic eBook

Advanced Data Mining and Applications 4th International Conference, ADMA 2008, Chengdu, China, October 8-10, 2008, Proceedings /

Published 2008

Table of Contents: “... -- Mining Natural Language Programming Directives with Class-Oriented Bayesian Networks -- Boosting over...”
View full text

Electronic eBook

Narrow Search