Resultados da busca - interactive computing proceedings programs ((contract https) OR (control https))

1

Computer Vision in Human-Computer Interaction ICCV 2005 Workshop on HCI, Beijing, China, October 21, 2005, Proceedings /

Publicado em 2005

Sumário: “...Multimodal Human Computer Interaction: A Survey -- Multimodal Human Computer Interaction: A Survey...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

2

Human-Computer Interaction: Interaction Modalities and Techniques 15th International Conference...

Publicado em 2013

Sumário: “...Speech, Natural Language and Auditory Interfaces -- Controlling Interaction in Multilingual...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

3

Human-Computer Interaction. Advanced Interaction, Modalities, and Techniques 16th International...

Publicado em 2014

Sumário: “... Cycle of Gesture Interaction, The Continuum between 2D and 3D -- iPanel: A Computer-Vision Based...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

4

Human-Computer Interaction: Users and Contexts of Use 15th International Conference, HCI...

Publicado em 2013

Sumário: “... Monitoring Solutions in an Ageing Society -- The Impact of Explanation Dialogues on Human-Computer Trust...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

5

Engineering Interactive Systems 2008 Second Conference on Human-Centered Software Engineering, HCSE...

Publicado em 2008

Sumário: “... Computing, Crisis Management and Workflow Modelling -- A Method for Modeling Interactions on Task...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

6

Haptic and Audio Interaction Design First International Workshop, HAID 2006, Glasgow, UK, August 31 - September 1, 2006, Proceedings /

Publicado em 2006

Sumário: “...Session: Interaction -- Perception of Audio-Generated and Custom Motion Programs in Multimedia...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

7

Proceedings of International Conference on Computer Science and Information Technology CSAIT 2013, September 21-23, 2013, Kunming, China /

Publicado em 2014

Sumário: “...-efficiency Model Based on QoS in Cloud Computing -- Revenue Sharing Contract in a Cloud Computing Service...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

8

Intelligent Technologies for Interactive Entertainment First International Conference, INTETAIN...

Publicado em 2005

Sumário: “... in Computer Role-Playing Games -- Telepresence Techniques for Controlling Avatar Motion in First Person Games...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

9

Simulation, Modeling, and Programming for Autonomous Robots First International Conference, SIMPAR 2008 Venice, Italy, November 3-7, 2008. Proceedings /

Publicado em 2008

Sumário: “...Invited Talks -- Simulation, Modeling and Programming for Autonomous Robots: The Open Source...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

10

Programming Languages and Systems 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings /

Publicado em 2010

Sumário: “...Invited Talks -- A Calculus for Hybrid CSP -- Foundations of Quantum Programming (Extended Abstract...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

11

Logic Programming 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings /

Publicado em 2005

Sumário: “...: Mapping Solver Independent Models to Efficient Solutions -- Use of Logic Programming for Complex Business...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

12

Simulation, Modeling, and Programming for Autonomous Robots Third International Conference, SIMPAR 2012, Tsukuba, Japan, November 5-8, 2012, Proceedings /

Publicado em 2012

Sumário: “... in Human Robot Interaction Contexts -- Motivation-Based Autonomous Behavior Control of Robotic Computer...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

13

Interactive Systems. Design, Specification, and Verification 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008, Proceedings /

Publicado em 2008

Sumário: “... Tool for Interactive Systems -- Systematic Analysis of Control Panel Interfaces Using Formal Tools...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

14

Simulation, Modeling, and Programming for Autonomous Robots Second International Conference, SIMPAR...

Publicado em 2010

Sumário: “...Invited Talks -- Building Blocks for Mobile Manipulation -- Natural Human-Robot Interaction...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

15

Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II /

Publicado em 2015

Sumário: “... Controllers -- Games for Dependent Types -- Short Proofs of the Kneser-Lovász Coloring Principle -- Provenance...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

16

Automata, Languages and Programming 35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II /

Publicado em 2008

Sumário: “... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

17

Advances in Visual Computing First International Symposium, ISVC 2005, Lake Tahoe, NV, USA, December 5-7, 2005, Proceedings /

Publicado em 2005

Sumário: “... Reconstruction in Diffusion Tensor MRI -- Interactive 3D Heart Chamber Partitioning with a New Marker-Controlled...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

18

Parallel Computing Technologies 9th International Conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007, Proceedings /

Publicado em 2007

Sumário: “... Workflow Nets for Grid Computing -- A Stochastic Semantics for BioAmbients -- A Categorical Observation...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

19

Computer Security - ESORICS 2007 12th European Symposium On Research In Computer Security, Dresden, Germany, September 24 - 26, 2007, Proceedings /

Publicado em 2007

Sumário: “... Points -- Obligations and Their Interaction with Programs -- Applied Cryptography III -- On the Privacy...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

20

Computer Science Logic 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings /

Publicado em 2005

Sumário: “... Control Flow with Classical Modal Logic -- A Logic of Coequations -- A Semantic Formulation of ???-Lifting...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

Refinar a Busca