Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
interactive applications » internet applications, enterprise applications, quantitative applications
applications programming » application programming, application program, applications proceedings
programming programming » programming programmed, programming program
programming integration » programming integrating, programming international, programming information
integration https » interaction https, migration https
interactive applications » internet applications, enterprise applications, quantitative applications
applications programming » application programming, application program, applications proceedings
programming programming » programming programmed, programming program
programming integration » programming integrating, programming international, programming information
integration https » interaction https, migration https
1
Published 2014
Table of Contents:
“...Call-Based Dynamic Programming for the Precedence Constrained Line Traveling Salesman -- Stable...”View full text
Electronic
eBook
2
Subjects:
“...Human Genetics. https://scigraph.springernature.com/ontologies/product-market-codes/B12008...”
View full text
View full text
Electronic
eBook
3
Subjects:
“...Legal Aspects of Computing. https://scigraph.springernature.com/ontologies/product-market-codes/I...”
View full text
View full text
Electronic
eBook
4
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
5
Published 2005
Table of Contents:
“...: Mapping Solver Independent Models to Efficient Solutions -- Use of Logic Programming for Complex Business...”View full text
Electronic
eBook
6
Published 2005
Table of Contents:
“... Verification for Branching-Time Specifications -- Exp.Open 2.0: A Flexible Tool Integrating Partial Order...”View full text
Electronic
eBook
7
Published 2012
Table of Contents:
“... Logic Programs.- Semi-negative Abductive Logic Programs with Implicative Integrity Constraints...”View full text
Electronic
eBook
8
Published 2011
Table of Contents:
“...-Generation Migratory Emergency Management Application -- Integration of User Interface and Application Logic...”View full text
Electronic
eBook
9
Table of Contents:
“...I Specification -- Declarative Open Interaction Models -- The ConDec Language -- The CLIMB Rule...”
View full text
View full text
Electronic
eBook
10
Published 2008
Table of Contents:
“... Models and a Transformation -- Components, Protocols and Interactions -- Facilitating Gossip Programming...”View full text
Electronic
eBook
11
Published 2010
Table of Contents:
“...Invited Talks -- Building Blocks for Mobile Manipulation -- Natural Human-Robot Interaction...”View full text
Electronic
eBook
12
Published 2012
Table of Contents:
“... in Human Robot Interaction Contexts -- Motivation-Based Autonomous Behavior Control of Robotic Computer...”View full text
Electronic
eBook
13
Published 2013
Table of Contents:
“...Towards Reactive Multi-Context Systems -- Logic Programming in the 1970s -- Integrating Temporal...”View full text
Electronic
eBook
14
Published 2010
Table of Contents:
“...Keynote and Invited Talks -- Interval-Based Models for Decision Problems -- On Choquet Integral...”View full text
Electronic
eBook
15
by Lewis, Andre., Lewis, Andre., Turner, Cameron., Sambells, Jeffrey., Purvis, Michael.
Published 2007
Table of Contents:
“...Your First Google Maps -- Google Maps and Rails -- Getting Started -- Interacting with the User...”Published 2007
View full text
Electronic
eBook
16
by Toselli, Alejandro Héctor., Toselli, Alejandro Héctor., Vidal, Enrique., Casacuberta, Francisco.
Published 2011
Table of Contents:
“... and Interactive Handwritten Transcription -- Interactive Machine Translation -- Multi-modality for Interactive...”Published 2011
View full text
Electronic
eBook
17
Published 2014
Table of Contents:
“... Strategies -- A Unified Approach for Semantic-Based Multimodal Interaction -- Building Multimodal Dialog User...”View full text
Electronic
eBook
18
Published 2010
Table of Contents:
“... -- Extending Coq with Imperative Features and Its Application to SAT Verification -- A Tactic Language...”View full text
Electronic
eBook
19
Published 2007
Table of Contents:
“...Context-Awareness I -- The Context-Dependent Role Model -- Integrating Facts and Beliefs to Model...”View full text
Electronic
eBook
20
Published 2006
Table of Contents:
“... -- Application Issues of Genetic Programming in Industry -- Challenges in Open-Ended Problem Solving with Genetic...”View full text
Electronic
eBook