1
Опубликовано 2010
Оглавление: ... Systems -- Session 7 -- A Quick Tour of the VeriFast Program Verifier -- Verification of Tree-Processing...
Полный текст
Электронный ресурс eКнига
2
Опубликовано 2006
Оглавление: ... Backgrounds -- Procedural Image Processing for Visualization -- Tracking of Individuals in Very Long Video...
Полный текст
Электронный ресурс eКнига
3
Опубликовано 2008
Оглавление: ... Programming -- GPU-Based Multigrid: Real-Time Performance in High Resolution Nonlinear Image Processing...
Полный текст
Электронный ресурс eКнига
4
Опубликовано 2005
Оглавление: ... Processing on Conventional MIMD Computers -- Parallel Implementation of Back-Propagation Neural Network...
Полный текст
Электронный ресурс eКнига
5
Опубликовано 2008
Оглавление: ...Formal Semantics in the Real World -- Speech Processing for Audio Indexing -- Sorting Out...
Полный текст
Электронный ресурс eКнига
6
Опубликовано 2010
Оглавление: ...EvoCOMPLEX Contributions -- Coevolutionary Dynamics of Interacting Species -- Evolving Individual...
Полный текст
Электронный ресурс eКнига
7
Опубликовано 2005
Оглавление: ... Environments -- Agent Interaction Management and Application in a Virtual Collaborative Environment...
Полный текст
Электронный ресурс eКнига
8
Опубликовано 2007
Оглавление: ... Computing Platform Based on an Egocentric Interaction Model -- mCube – Towards a Versatile Gesture Input...
Полный текст
Электронный ресурс eКнига
9
Опубликовано 2014
Оглавление: ... Computational Model to Find Semantic Similarity -- Energy Efficient Cluster Based Aggregation Protocol (EECAP...
Полный текст
Электронный ресурс eКнига
10
Опубликовано 2008
Оглавление: ... -- Semidefinite Programming Heuristics for Surface Reconstruction Ambiguities -- Robust Optimal Pose Estimation...
Полный текст
Электронный ресурс eКнига
11
Опубликовано 2010
Оглавление: ... Types -- Abnormal Change Detection of Image Quality Metric Series Using Diffusion Process and Stopping...
Полный текст
Электронный ресурс eКнига
12
Опубликовано 2010
Оглавление: ... under a General Weighted Cost Function -- How to Complete an Interactive Configuration Process...
Полный текст
Электронный ресурс eКнига
13
Опубликовано 2006
Оглавление: ... SEMANTIC TO THE EXECUTION OF THE PROCESS MODEL -- FUZZY CLUSTERING ON THE WEB IMPLEMENTED BY JSP TECHNOLOGY...
Полный текст
Электронный ресурс eКнига
14
Опубликовано 2006
Оглавление: ... Approach to Computer-Assisted Translation Based on Finite-State Transducers -- Finite-State Registered...
Полный текст
Электронный ресурс eКнига
15
Опубликовано 2006
Оглавление: ... Communication -- Embodied Conversational Agents: Computing and Rendering Realistic Gaze Patterns -- DBN Based...
Полный текст
Электронный ресурс eКнига
16
Опубликовано 2006
Оглавление: ... Solution -- Principal Components for Automatic Term Hierarchy Building -- Strings -- Computing the Minimum...
Полный текст
Электронный ресурс eКнига
17
Опубликовано 2007
Оглавление: ... Techniques -- A Hierarchical Programming Model for Large Parallel Interactive Applications -- Design of a...
Полный текст
Электронный ресурс eКнига
18
Опубликовано 2010
Оглавление: ... on Computational Methods, Algorithms and Applications -- Phonological Recoding in the Second Language Processing...
Полный текст
Электронный ресурс eКнига
19
Опубликовано 2008
Оглавление: ... Verification of Concurrent Programs -- Combining Static and Dynamic Reasoning for the Discovery of Program...
Полный текст
Электронный ресурс eКнига
20
Опубликовано 2005
Оглавление: ...Computer Vision -- An Invariant and Compact Representation for Unrestricted Pose Estimation...
Полный текст
Электронный ресурс eКнига