Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
interactive computer » interfaces computer, internet computer
proceedings program » proceedings from
processing program » processing programs, processing programmed, process program
https » http
interactive computer » interfaces computer, internet computer
proceedings program » proceedings from
processing program » processing programs, processing programmed, process program
https » http
1
Published 2005
Table of Contents:
“...: Mapping Solver Independent Models to Efficient Solutions -- Use of Logic Programming for Complex Business...”View full text
Electronic
eBook
2
Published 2010
Table of Contents:
“... Systems -- Session 7 -- A Quick Tour of the VeriFast Program Verifier -- Verification of Tree-Processing...”View full text
Electronic
eBook
3
Published 2005
Table of Contents:
“...Multimodal Human Computer Interaction: A Survey -- Multimodal Human Computer Interaction: A Survey...”View full text
Electronic
eBook
4
Published 2015
Table of Contents:
“... Controllers -- Games for Dependent Types -- Short Proofs of the Kneser-Lovász Coloring Principle -- Provenance...”View full text
Electronic
eBook
5
Published 2008
Table of Contents:
“... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”View full text
Electronic
eBook
6
Published 2008
Table of Contents:
“...Invited Talks -- Simulation, Modeling and Programming for Autonomous Robots: The Open Source...”View full text
Electronic
eBook
7
Published 2013
Table of Contents:
“... Surface Grinding -- Process-Machine Interaction in Speed-Stroke Grinding -- Part III Cutting -- HPC...”View full text
Electronic
eBook
8
Published 2012
Table of Contents:
“... in Human Robot Interaction Contexts -- Motivation-Based Autonomous Behavior Control of Robotic Computer...”View full text
Electronic
eBook
9
Published 2010
Table of Contents:
“...Invited Talks -- Building Blocks for Mobile Manipulation -- Natural Human-Robot Interaction...”View full text
Electronic
eBook
10
Published 2014
Table of Contents:
“... Cycle of Gesture Interaction, The Continuum between 2D and 3D -- iPanel: A Computer-Vision Based...”View full text
Electronic
eBook
11
Published 2013
Table of Contents:
“...Speech, Natural Language and Auditory Interfaces -- Controlling Interaction in Multilingual...”View full text
Electronic
eBook
12
Published 2014
Table of Contents:
“...Call-Based Dynamic Programming for the Precedence Constrained Line Traveling Salesman -- Stable...”View full text
Electronic
eBook
13
Published 2006
Table of Contents:
“...Invited Papers -- Global Optimization of Probabilistically Constrained Linear Programs...”View full text
Electronic
eBook
14
Published 2005
Table of Contents:
“... Patterns – Pattern Systems Based on Structural Mappings -- Ubiquitous Computing -- Spatial Control...”View full text
Electronic
eBook
15
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
16
Published 2008
Table of Contents:
“... Recognition Using Motion Orientation Histogram for Interaction of Handicapped Persons with Computer -- 3D...”View full text
Electronic
eBook
17
Published 2008
Table of Contents:
“... Computing, Crisis Management and Workflow Modelling -- A Method for Modeling Interactions on Task...”View full text
Electronic
eBook
18
Subjects:
“...Legal Aspects of Computing. https://scigraph.springernature.com/ontologies/product-market-codes/I...”
View full text
View full text
Electronic
eBook
19
Published 2006
Table of Contents:
“...Session: Interaction -- Perception of Audio-Generated and Custom Motion Programs in Multimedia...”View full text
Electronic
eBook
20
Table of Contents:
“... -- System analysis -- Linear and non-linear processes -- Classical modulation procedures -- Digitalisation...”
View full text
View full text
Electronic
eBook