Search Results - interactive generalization proceedings program interaction https

Search alternatives:
interactive generalization » inductive generalization , interactive geovisualization , interactive visualization
generalization proceedings » generalization processing , generation proceedings , gravitation proceedings
proceedings program » proceedings from
program interaction » programs interaction , programs interactions , program integration
https » http

Interactive Theorem Proving Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings /

Published 2011

Subjects: “...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”
View full text

Electronic eBook

Human-Computer Interaction – INTERACT 2005 IFIP TC 13 International Conference, Rome, Italy, September 12-16, 2005, Proceedings /

Published 2005

Subjects: “...User Interfaces and Human Computer Interaction. https://scigraph.springernature.com/ontologies...”
View full text

Electronic eBook

Interactive Theorem Proving First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings /

Published 2010

Table of Contents: “... for Declarative Proofs -- Programming Language Techniques for Cryptographic Proofs -- Nitpick: A Counterexample...”
View full text

Electronic eBook

Human-Computer Interaction. Advanced Interaction, Modalities, and Techniques 16th International...

Published 2014

Table of Contents: “...Gesture-Based Interaction -- RemoteHand: A Wireless Myoelectric Interface -- Early Prototyping of 3...”
View full text

Electronic eBook

Interactive Theorem Proving 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings /

Published 2015

Table of Contents: “... -- Higher-Order Imperative Programming Languages -- Transfinite Constructions in Classical Type Theory -- A...”
View full text

Electronic eBook

Interactive Theorem Proving Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings /

Published 2012

Table of Contents: “... for Monadic Programs to Hopcroft’s Algorithm -- Synthesis of Distributed Mobile Programs Using Monadic Types...”
View full text

Electronic eBook

Logic, Rationality, and Interaction 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings /

Published 2013

Table of Contents: “...-Pragmatics Boundary -- A Semantic Model for Interrogatives Based on Generalized Quantifiers and Bilattices...”
View full text

Electronic eBook

Logic, Rationality, and Interaction 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings /

Published 2015

Table of Contents: “... for Paraconsistent Logics -- Generalized Ultraproduct and Kirman-Sondermann Correspondence for Vote Abstention...”
View full text

Electronic eBook

Interactive Theorem Proving 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings /

Published 2013

Table of Contents: “... -- Certifying Voting Protocols -- Invited Tutorials.-Counterexample Generation Meets Interactive Theorem Proving...”
View full text

Electronic eBook

Interactive Theorem Proving 5th International Conference, ITP 2014, Held as Part of the Vienna...

Published 2014

Table of Contents: “... Programs Extraction -- Experience Implementing a Performant Category-Theory Library in Coq -- A New...”
View full text

Electronic eBook

Technologies for Interactive Digital Storytelling and Entertainment Third International Conference...

Published 2006

Table of Contents: “...Interactive Narrative Systems -- Believable Agents and Intelligent Story Adaptation for Interactive...”
View full text

Electronic eBook

Human-Computer Interaction. Theories, Methods, and Tools 16th International Conference, HCI...

Published 2014

Table of Contents: “... during the Interaction with TV Programs -- Evaluation of Industrial Touch Interfaces Using a Modular...”
View full text

Electronic eBook

Intelligent Interactive Multimedia Systems and Services

Published 2010

Table of Contents: “... Student’s Knowledge on Programming Using Fuzzy Techniques -- Camera Angle Invariant Shape Recognition...”
View full text

Electronic eBook

Artificial General Intelligence 8th International Conference, AGI 2015, AGI 2015, Berlin, Germany, July 22-25, 2015, Proceedings /

Published 2015

Table of Contents: “... -- Programming languages and artificial general intelligence -- From Specialized Syntax to General Logic...”
View full text

Electronic eBook

Simulation, Modeling, and Programming for Autonomous Robots Third International Conference, SIMPAR 2012, Tsukuba, Japan, November 5-8, 2012, Proceedings /

Published 2012

Table of Contents: “... in Human Robot Interaction Contexts -- Motivation-Based Autonomous Behavior Control of Robotic Computer...”
View full text

Electronic eBook

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

Published 2008

Table of Contents: “... Declarative Theorem Prover for First-Order Classical Logic -- Towards Ludics Programming: Interactive Proof...”
View full text

Electronic eBook

Genetic Programming 10th European Conference, EuroGP 2007, Valencia, Spain, April 11-13, 2007, Proceedings /

Published 2007

Table of Contents: “... Programming -- Multiple Interactive Outputs in a Single Tree: An Empirical Investigation -- Parsimony Doesn’t...”
View full text

Electronic eBook

Automata, Languages and Programming 34th International Colloquium, ICALP 2007, Wroclaw, Poland, July 9-13, 2007, Proceedings /

Published 2007

Table of Contents: “... -- A Characterization of Non-interactive Instance-Dependent Commitment-Schemes (NIC) -- Session A9...”
View full text

Electronic eBook

Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I /

Published 2014

Table of Contents: “... Time -- Families with Infants: A General Approach to Solve Hard Partition Problems -- Changing Bases...”
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

1
2
3
4
5
6
7
8
9
10
11
Next »
[16]

Narrow Search