Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
computing programming » computer programming, computers programming
programming program » programming programmed, programming problem, programming problems
program interactive » programmed interactive, programs integrative, programs interaction
interactive https » interaction https, interactions https, interactive hip
intelligent » intelligence
computing programming » computer programming, computers programming
programming program » programming programmed, programming problem, programming problems
program interactive » programmed interactive, programs integrative, programs interaction
interactive https » interaction https, interactions https, interactive hip
intelligent » intelligence
1
Published 2006
Table of Contents:
“... Conflicts? -- Trade Liberalization and Political Instability in Developing Countries -- Computer Assisted...”View full text
Electronic
eBook
2
Published 2005
Table of Contents:
“... Programs -- Strong Normalization of the Dual Classical Sequent Calculus -- Termination of Fair Computations...”View full text
Electronic
eBook
3
Published 2007
Table of Contents:
“...From Hilbert’s Program to a Logic Toolbox -- On the Notion of Vacuous Truth -- Whatever Happened...”View full text
Electronic
eBook
4
Published 2007
Table of Contents:
“...I: Multimodality and Conversational Dialogue -- II: Adaptive, Intelligent and Emotional User...”View full text
Electronic
eBook
5
Published 2008
Table of Contents:
“... Declarative Theorem Prover for First-Order Classical Logic -- Towards Ludics Programming: Interactive Proof...”View full text
Electronic
eBook
6
Published 2007
Table of Contents:
“... for Computational Effort Comparisons -- Crossover Bias in Genetic Programming -- Density Estimation with Genetic...”View full text
Electronic
eBook
7
Published 2005
Table of Contents:
“...: Mapping Solver Independent Models to Efficient Solutions -- Use of Logic Programming for Complex Business...”View full text
Electronic
eBook
8
Subjects:
“...Legal Aspects of Computing. https://scigraph.springernature.com/ontologies/product-market-codes/I...”
View full text
View full text
Electronic
eBook
9
Published 2011
Subjects:
“...Programming languages (Electronic computers)....”View full text
Electronic
eBook
10
Published 2008
Table of Contents:
“...Invited Talks -- Simulation, Modeling and Programming for Autonomous Robots: The Open Source...”View full text
Electronic
eBook
11
Published 2005
Table of Contents:
“... Browser for Everyday Enrichment -- Ambient Intelligence in Edutainment: Tangible Interaction with Life...”View full text
Electronic
eBook
12
Published 2014
Table of Contents:
“...Simulation -- Modeling -- Programming -- Architectures -- Methods and Tools -- Systems...”View full text
Electronic
eBook
13
Published 2012
Table of Contents:
“... in Human Robot Interaction Contexts -- Motivation-Based Autonomous Behavior Control of Robotic Computer...”View full text
Electronic
eBook
14
Published 2010
Table of Contents:
“...Invited Talks -- Building Blocks for Mobile Manipulation -- Natural Human-Robot Interaction...”View full text
Electronic
eBook
15
Published 2010
Table of Contents:
“... Interaction Using Concept Hierarchies -- Estimating Top-k Destinations in Data Streams -- A Data Mining...”View full text
Electronic
eBook
16
Published 2010
Table of Contents:
“... Systems -- Intelligent Computing in Image Processing -- Special Session on New Hand-Based Biometric...”View full text
Electronic
eBook
17
Published 2005
Subjects:
“...User Interfaces and Human Computer Interaction. https://scigraph.springernature.com/ontologies...”View full text
Electronic
eBook
18
Published 2013
Table of Contents:
“... for Computing Ordinal Conditional Functions Using Constraint Logic Programming -- A Descriptive Approach...”View full text
Electronic
eBook
19
Published 2006
Table of Contents:
“...Invited Papers -- MetateM: The Story so Far -- Agent-Based Computing and Programming of Agent...”View full text
Electronic
eBook
20
Published 2008
Table of Contents:
“... It for Money - Accounting Features in Agents -- From Norms to Interaction Patterns: Deriving Protocols...”View full text
Electronic
eBook