1
Table of Contents: ...Computer modeling of chromosomes: A new approach for genetics education -- Chromosome techniques...
View full text
Electronic eBook
2
Published 2014
Table of Contents: ...Call-Based Dynamic Programming for the Precedence Constrained Line Traveling Salesman -- Stable...
View full text
Electronic eBook
3
Subjects: ...Legal Aspects of Computing. https://scigraph.springernature.com/ontologies/product-market-codes/I...
View full text
Electronic eBook
4
by Lee, Kent D., Lee, Kent D.
Published 2008
Table of Contents: ...Introduction -- Specifying Syntax -- Object-Oriented Programming with C++ -- Object-Oriented...
View full text
Electronic eBook
5
Published 2008
Table of Contents: ... Knowledge Base System for an Integration of Logic Programming and Classical Logic -- SMS and ASP: Hype...
View full text
Electronic eBook
6
Published 2005
Table of Contents: ...: Mapping Solver Independent Models to Efficient Solutions -- Use of Logic Programming for Complex Business...
View full text
Electronic eBook
7
Published 2010
Table of Contents: ... for Declarative Proofs -- Programming Language Techniques for Cryptographic Proofs -- Nitpick: A Counterexample...
View full text
Electronic eBook
8
Published 2013
Table of Contents: ... Computer Interaction with Episodic Memory in a Virtual Guide -- System of Generating Japanese Sound...
View full text
Electronic eBook
9
Published 2012
Table of Contents: ... in Human Robot Interaction Contexts -- Motivation-Based Autonomous Behavior Control of Robotic Computer...
View full text
Electronic eBook
10
Published 2010
Table of Contents: ...Invited Talks -- Building Blocks for Mobile Manipulation -- Natural Human-Robot Interaction...
View full text
Electronic eBook
11
by Montali, Marco., Montali, Marco.
Published 2010
Table of Contents: ...I Specification -- Declarative Open Interaction Models -- The ConDec Language -- The CLIMB Rule...
View full text
Electronic eBook
12
Published 2015
Table of Contents: ... -- Logic and Ethics. An Integrated Model for Norms, Intentions and Actions -- A General Framework for Modal...
View full text
Electronic eBook
13
Published 2014
Table of Contents: ... Strategies -- A Unified Approach for Semantic-Based Multimodal Interaction -- Building Multimodal Dialog User...
View full text
Electronic eBook
14
Published 2008
Table of Contents: ... -- Integration of Distributed User Input to Extend Interaction Possibilities with Local Applications -- Reverse...
View full text
Electronic eBook
15
Published 2015
Table of Contents: ... Approach to Reason with Conditionals -- Interactive debugging of non-ground ASP programs -- Linking Open...
View full text
Electronic eBook
16
Table of Contents: ... Problems -- Finite Element Program -- Finite Element Solution -- Finite Element Processor -- Finite Element...
View full text
Electronic eBook
17
Published 2013
Table of Contents: ...Towards Reactive Multi-Context Systems -- Logic Programming in the 1970s -- Integrating Temporal...
View full text
Electronic eBook
18
Published 2012
Table of Contents: ... Logic Programs.- Semi-negative Abductive Logic Programs with Implicative Integrity Constraints...
View full text
Electronic eBook
19
Published 2014
Table of Contents: ... -- Showing Invariance Compositionally for a Process Algebra for Network Protocols -- A Computer-Algebra-Based...
View full text
Electronic eBook
20
Published 2008
Table of Contents: ... Computing, Crisis Management and Workflow Modelling -- A Method for Modeling Interactions on Task...
View full text
Electronic eBook