Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
computing proceeding » computing proceedings, computing providing, computing protecting
programs interactive » program interactive, programs integrative, programs interaction
integrals computing » integrated computing, interval computing, integration computing
proceeding programs » processing programs, proceedings program, breeding programs
interactive https » interaction https, interactions https, interactive hip
computing proceeding » computing proceedings, computing providing, computing protecting
programs interactive » program interactive, programs integrative, programs interaction
integrals computing » integrated computing, interval computing, integration computing
proceeding programs » processing programs, proceedings program, breeding programs
interactive https » interaction https, interactions https, interactive hip
1
Published 2014
Table of Contents:
“...Call-Based Dynamic Programming for the Precedence Constrained Line Traveling Salesman -- Stable...”View full text
Electronic
eBook
2
Published 2013
Table of Contents:
“... Computer Interaction with Episodic Memory in a Virtual Guide -- System of Generating Japanese Sound...”View full text
Electronic
eBook
3
Published 2005
Table of Contents:
“... -- Generating Path Conditions for Timed Systems -- Software Model Checking: Searching for Computations...”View full text
Electronic
eBook
4
Published 2010
Table of Contents:
“... for Declarative Proofs -- Programming Language Techniques for Cryptographic Proofs -- Nitpick: A Counterexample...”View full text
Electronic
eBook
5
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
6
Published 2014
Table of Contents:
“...-Computer Interaction -- Immediacy in User Interfaces: An Activity Theoretical Approach -- The Resilience...”View full text
Electronic
eBook
7
Published 2014
Table of Contents:
“... -- An Interactive Verification Tool Meets an IDE -- An Analysis Pathway for the Quantitative Evaluation of Public...”View full text
Electronic
eBook
8
Published 2013
Table of Contents:
“... Monitoring Solutions in an Ageing Society -- The Impact of Explanation Dialogues on Human-Computer Trust...”View full text
Electronic
eBook
9
Published 2008
Table of Contents:
“... Computing, Crisis Management and Workflow Modelling -- A Method for Modeling Interactions on Task...”View full text
Electronic
eBook
10
Published 2014
Table of Contents:
“... -- Showing Invariance Compositionally for a Process Algebra for Network Protocols -- A Computer-Algebra-Based...”View full text
Electronic
eBook
11
Published 2006
Table of Contents:
“...Session: Interaction -- Perception of Audio-Generated and Custom Motion Programs in Multimedia...”View full text
Electronic
eBook
12
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
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 2005
Table of Contents:
“...: Mapping Solver Independent Models to Efficient Solutions -- Use of Logic Programming for Complex Business...”View full text
Electronic
eBook
16
Published 2008
Table of Contents:
“... -- Integration of Distributed User Input to Extend Interaction Possibilities with Local Applications -- Reverse...”View full text
Electronic
eBook
17
Published 2006
Table of Contents:
“... Interactive Drama -- Integrating VR-Authoring and Context Sensing: Towards the Creation of Context-Aware...”View full text
Electronic
eBook
18
Published 2010
Table of Contents:
“... Datasets Using DescribeX -- Search Computing: Integrating Ranked Data in the Life Sciences....”View full text
Electronic
eBook
19
Published 2007
Table of Contents:
“... Workflow Nets for Grid Computing -- A Stochastic Semantics for BioAmbients -- A Categorical Observation...”View full text
Electronic
eBook
20
Published 2014
Table of Contents:
“... Secret Key Sequence -- Interactive Satellite Remote Education System Based on Bluetooth and GPRS -- A...”View full text
Electronic
eBook