Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
interaction computing » interactive computing, integration computing, intersections computing
computing processing » computing proceeding, computing proceedings, computer processing
processing programs » processing programmed, processing problems, processing products
programs compact » programs impact, programs complete, program impact
compact https » impacts https
interaction computing » interactive computing, integration computing, intersections computing
computing processing » computing proceeding, computing proceedings, computer processing
processing programs » processing programmed, processing problems, processing products
programs compact » programs impact, programs complete, program impact
compact https » impacts https
1
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
2
Published 2006
Table of Contents:
“... Backgrounds -- Procedural Image Processing for Visualization -- Tracking of Individuals in Very Long Video...”View full text
Electronic
eBook
3
Published 2008
Table of Contents:
“... Programming -- GPU-Based Multigrid: Real-Time Performance in High Resolution Nonlinear Image Processing...”View full text
Electronic
eBook
4
Published 2005
Table of Contents:
“... Processing on Conventional MIMD Computers -- Parallel Implementation of Back-Propagation Neural Network...”View full text
Electronic
eBook
5
Published 2008
Table of Contents:
“...Formal Semantics in the Real World -- Speech Processing for Audio Indexing -- Sorting Out...”View full text
Electronic
eBook
6
Published 2010
Table of Contents:
“...EvoCOMPLEX Contributions -- Coevolutionary Dynamics of Interacting Species -- Evolving Individual...”View full text
Electronic
eBook
7
Published 2005
Table of Contents:
“... Environments -- Agent Interaction Management and Application in a Virtual Collaborative Environment...”View full text
Electronic
eBook
8
Published 2014
Table of Contents:
“... Computational Model to Find Semantic Similarity -- Energy Efficient Cluster Based Aggregation Protocol (EECAP...”View full text
Electronic
eBook
9
Published 2007
Table of Contents:
“... Computing Platform Based on an Egocentric Interaction Model -- mCube – Towards a Versatile Gesture Input...”View full text
Electronic
eBook
10
Published 2008
Table of Contents:
“... -- Semidefinite Programming Heuristics for Surface Reconstruction Ambiguities -- Robust Optimal Pose Estimation...”View full text
Electronic
eBook
11
Published 2010
Table of Contents:
“... Types -- Abnormal Change Detection of Image Quality Metric Series Using Diffusion Process and Stopping...”View full text
Electronic
eBook
12
Published 2006
Table of Contents:
“... Approach to Computer-Assisted Translation Based on Finite-State Transducers -- Finite-State Registered...”View full text
Electronic
eBook
13
Published 2010
Table of Contents:
“... under a General Weighted Cost Function -- How to Complete an Interactive Configuration Process...”View full text
Electronic
eBook
14
Published 2006
Table of Contents:
“... SEMANTIC TO THE EXECUTION OF THE PROCESS MODEL -- FUZZY CLUSTERING ON THE WEB IMPLEMENTED BY JSP TECHNOLOGY...”View full text
Electronic
eBook
15
Published 2006
Table of Contents:
“... Communication -- Embodied Conversational Agents: Computing and Rendering Realistic Gaze Patterns -- DBN Based...”View full text
Electronic
eBook
16
Published 2006
Table of Contents:
“... Solution -- Principal Components for Automatic Term Hierarchy Building -- Strings -- Computing the Minimum...”View full text
Electronic
eBook
17
Published 2007
Table of Contents:
“... Techniques -- A Hierarchical Programming Model for Large Parallel Interactive Applications -- Design of a...”View full text
Electronic
eBook
18
Published 2010
Table of Contents:
“... on Computational Methods, Algorithms and Applications -- Phonological Recoding in the Second Language Processing...”View full text
Electronic
eBook
19
Published 2008
Table of Contents:
“... Verification of Concurrent Programs -- Combining Static and Dynamic Reasoning for the Discovery of Program...”View full text
Electronic
eBook
20
Published 2005
Table of Contents:
“...Computer Vision -- An Invariant and Compact Representation for Unrestricted Pose Estimation...”View full text
Electronic
eBook