1
Publicado 2014
Table of Contents: ... Cycle of Gesture Interaction, The Continuum between 2D and 3D -- iPanel: A Computer-Vision Based...
Ligazón do recurso
Electrónico eBook
2
Publicado 2013
Table of Contents: ... Computer Interaction with Episodic Memory in a Virtual Guide -- System of Generating Japanese Sound...
Ligazón do recurso
Electrónico eBook
3
Publicado 2015
Table of Contents: ... -- Asynchronous processing of Coq documents: from the kernel up to the user interface -- A Concrete Memory Model...
Ligazón do recurso
Electrónico eBook
4
Publicado 2014
Table of Contents: ... -- Showing Invariance Compositionally for a Process Algebra for Network Protocols -- A Computer-Algebra-Based...
Ligazón do recurso
Electrónico eBook
5
por Kerfs, Jeremy., Kerfs, Jeremy.
Publicado 2011
Subjects: ...User Interfaces and Human Computer Interaction. https://scigraph.springernature.com/ontologies...
Ligazón do recurso
Electrónico eBook
6
Publicado 2008
Table of Contents: ... Recognition Using Motion Orientation Histogram for Interaction of Handicapped Persons with Computer -- 3D...
Ligazón do recurso
Electrónico eBook
7
Publicado 2007
Table of Contents: ... Formal Methods and Functional Strategies Regarding the Reverse Engineering of Interactive Applications...
Ligazón do recurso
Electrónico eBook
8
por Nugues, Pierre M., Nugues, Pierre M.
Publicado 2014
Table of Contents: ...An Overview of Language Processing -- Corpus Processing Tools -- Encoding and Annotation Scheme...
Ligazón do recurso
Electrónico eBook
9
Publicado 2005
Table of Contents: ... Enterprise Process Modeling Through a Formalized Functional Typology -- Introducing Business Process...
Ligazón do recurso
Electrónico eBook
10
Publicado 2008
Table of Contents: ... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...
Ligazón do recurso
Electrónico eBook
11
Publicado 2010
Table of Contents: ... Approach Using Burr’s Distribution Function for High Speed On-Chip RC Interconnects -- Wavelet-Domain L...
Ligazón do recurso
Electrónico eBook
12
Publicado 2005
Table of Contents: ... Segmentation -- An Interactive EA for Multifractal Bayesian Denoising -- Object Detection for Computer Vision...
Ligazón do recurso
Electrónico eBook
13
Publicado 2010
Table of Contents: ...ST: Computational Bioimaging I -- Ontology-Driven Image Analysis for Histopathological Images...
Ligazón do recurso
Electrónico eBook
14
Publicado 2010
Table of Contents: ... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...
Ligazón do recurso
Electrónico eBook
15
Publicado 2010
Table of Contents: ...Computer-Aided Diagnosis -- Planning and Guidance of Interventions -- Image Segmentation -- Image...
Ligazón do recurso
Electrónico eBook
16
Publicado 2015
Table of Contents: ... Automata -- Analysis of Probabilistic Systems via Generating Functions and Padé Approximation...
Ligazón do recurso
Electrónico eBook
17
Publicado 2007
Table of Contents: ... for Computational Effort Comparisons -- Crossover Bias in Genetic Programming -- Density Estimation with Genetic...
Ligazón do recurso
Electrónico eBook
18
Publicado 2005
Table of Contents: ... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...
Ligazón do recurso
Electrónico eBook
19
Publicado 2014
Table of Contents: ... Strategies -- A Unified Approach for Semantic-Based Multimodal Interaction -- Building Multimodal Dialog User...
Ligazón do recurso
Electrónico eBook
20
Publicado 2007
Table of Contents: ... Critical Systems -- Improving Interactive Systems Usability Using Formal Description Techniques...
Ligazón do recurso
Electrónico eBook