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