Suggestion de sujets dans votre recherche.
Suggestion de sujets dans votre recherche.
Recherches alternatives:
programmed interactive » programmer's interactive, programming interactive, program interactive
proceeding programmed » processing programmed, breeding programmes, breeding programme
computing proceeding » computing proceedings, computing providing, computing protecting
integrals computing » integrated computing, interval computing, integration computing
interactive https » interaction https, interactions https, interactive hip
programmed interactive » programmer's interactive, programming interactive, program interactive
proceeding programmed » processing programmed, breeding programmes, breeding programme
computing proceeding » computing proceedings, computing providing, computing protecting
integrals computing » integrated computing, interval computing, integration computing
interactive https » interaction https, interactions https, interactive hip
1
Publié 2014
Table des matières:
“...Call-Based Dynamic Programming for the Precedence Constrained Line Traveling Salesman -- Stable...”Accéder au texte intégral
Électronique
eBook
2
Publié 2013
Table des matières:
“... Computer Interaction with Episodic Memory in a Virtual Guide -- System of Generating Japanese Sound...”Accéder au texte intégral
Électronique
eBook
3
Publié 2005
Table des matières:
“... -- Generating Path Conditions for Timed Systems -- Software Model Checking: Searching for Computations...”Accéder au texte intégral
Électronique
eBook
4
Publié 2010
Table des matières:
“... for Declarative Proofs -- Programming Language Techniques for Cryptographic Proofs -- Nitpick: A Counterexample...”Accéder au texte intégral
Électronique
eBook
5
Publié 2014
Table des matières:
“...-Computer Interaction -- Immediacy in User Interfaces: An Activity Theoretical Approach -- The Resilience...”Accéder au texte intégral
Électronique
eBook
6
Publié 2014
Table des matières:
“... -- An Interactive Verification Tool Meets an IDE -- An Analysis Pathway for the Quantitative Evaluation of Public...”Accéder au texte intégral
Électronique
eBook
7
Publié 2013
Table des matières:
“... Monitoring Solutions in an Ageing Society -- The Impact of Explanation Dialogues on Human-Computer Trust...”Accéder au texte intégral
Électronique
eBook
8
Publié 2015
Table des matières:
“... -- Logic and Ethics. An Integrated Model for Norms, Intentions and Actions -- A General Framework for Modal...”Accéder au texte intégral
Électronique
eBook
9
Publié 2008
Table des matières:
“... Computing, Crisis Management and Workflow Modelling -- A Method for Modeling Interactions on Task...”Accéder au texte intégral
Électronique
eBook
10
Publié 2006
Table des matières:
“...Session: Interaction -- Perception of Audio-Generated and Custom Motion Programs in Multimedia...”Accéder au texte intégral
Électronique
eBook
11
Publié 2014
Table des matières:
“... -- Showing Invariance Compositionally for a Process Algebra for Network Protocols -- A Computer-Algebra-Based...”Accéder au texte intégral
Électronique
eBook
12
Publié 2008
Table des matières:
“... Knowledge Base System for an Integration of Logic Programming and Classical Logic -- SMS and ASP: Hype...”Accéder au texte intégral
Électronique
eBook
13
Publié 2012
Table des matières:
“... in Human Robot Interaction Contexts -- Motivation-Based Autonomous Behavior Control of Robotic Computer...”Accéder au texte intégral
Électronique
eBook
14
Publié 2010
Table des matières:
“...Invited Talks -- Building Blocks for Mobile Manipulation -- Natural Human-Robot Interaction...”Accéder au texte intégral
Électronique
eBook
15
Publié 2005
Table des matières:
“...: Mapping Solver Independent Models to Efficient Solutions -- Use of Logic Programming for Complex Business...”Accéder au texte intégral
Électronique
eBook
16
Publié 2008
Table des matières:
“... -- Integration of Distributed User Input to Extend Interaction Possibilities with Local Applications -- Reverse...”Accéder au texte intégral
Électronique
eBook
17
Publié 2006
Table des matières:
“... Interactive Drama -- Integrating VR-Authoring and Context Sensing: Towards the Creation of Context-Aware...”Accéder au texte intégral
Électronique
eBook
18
Publié 2010
Table des matières:
“... Datasets Using DescribeX -- Search Computing: Integrating Ranked Data in the Life Sciences....”Accéder au texte intégral
Électronique
eBook
19
Publié 2007
Table des matières:
“... Workflow Nets for Grid Computing -- A Stochastic Semantics for BioAmbients -- A Categorical Observation...”Accéder au texte intégral
Électronique
eBook
20
Publié 2014
Table des matières:
“... Secret Key Sequence -- Interactive Satellite Remote Education System Based on Bluetooth and GPRS -- A...”Accéder au texte intégral
Électronique
eBook