1
Published 2006
Table of Contents: ... for Lexical Normalization -- A Framework for Integrating Natural Language Tools -- Methods and Tools...
View full text
Electronic eBook
2
Published 2011
Table of Contents: ... -- Trends in Rank Join -- Query Processing:- Efficient Computation of Search Computing Queries -- Run-Time...
View full text
Electronic eBook
3
Published 2006
Table of Contents: ... Backgrounds -- Procedural Image Processing for Visualization -- Tracking of Individuals in Very Long Video...
View full text
Electronic eBook
4
Published 2010
Table of Contents: ... -- Measuring Instability in Normal Residuated Logic Programs: Discarding Information -- Implementing...
View full text
Electronic eBook
5
Published 2010
Table of Contents: ...On Yuri Gurevich -- Yuri, Logic, and Computer Science -- Database Theory, Yuri, and Me -- Technical...
View full text
Electronic eBook
6
Published 2012
Table of Contents: ... Extraction -- Development of a Novel Conversational Calculator Based on Remote Online Computation -- Load...
View full text
Electronic eBook
7
Published 2010
Table of Contents: ... Process -- Imaging-Based Computation of the Dynamics of Pelvic Floor Deformation and Strain Visualization...
View full text
Electronic eBook
8
Published 2010
Table of Contents: ...ST: Computational Bioimaging I -- Ontology-Driven Image Analysis for Histopathological Images...
View full text
Electronic eBook
9
Published 2014
Table of Contents: ...Signal and Image Processing -- Real Time Crowd Counting with Human Detection and Human Tracking...
View full text
Electronic eBook
10
Published 2007
Table of Contents: ... Evaluation of Block Ciphers -- Development of Concealing the Purpose of Processing for Programs in a...
View full text
Electronic eBook
11
Published 2006
Table of Contents: ... Constraints in the Biochemical Abstract Machine BIOCHAM -- Tools for Program Development -- Declarative...
View full text
Electronic eBook
12
Published 2007
Table of Contents: ... Computation in Large Territories -- Non-equilibrium Thermodynamics, Thermomechanics, Geodynamics -- A Finite...
View full text
Electronic eBook
13
Published 2008
Table of Contents: ...1 - Information Systems Design -- Formalization of Data Flow Computing and a Coinductive Approach...
View full text
Electronic eBook
14
Published 2005
Table of Contents: ... Programs -- Strong Normalization of the Dual Classical Sequent Calculus -- Termination of Fair Computations...
View full text
Electronic eBook
15
Published 2010
Table of Contents: ... -- Stochastic-Process Approach to Nonequilibrium Thermodynamics and Biological Signal Transduction -- Granger...
View full text
Electronic eBook
16
Published 2007
Table of Contents: ... Execution of Parallel Processes: Penetrating NATs over the Grid -- Parallelization of C# Programs Through...
View full text
Electronic eBook
17
Published 2007
Table of Contents: ... Third Way to Study Nature -- Recent Computational Developments in Quantum Conductance and Field Emission...
View full text
Electronic eBook
18
Published 2014
Table of Contents: ... of Dynamic Process Models under Uncertainty -- Steps towards Web Ubiquitous Computing -- Estimation...
View full text
Electronic eBook
19
Published 2015
Table of Contents: ...Part 1 Advances in RF, Microwave and Antenna: Chapter 1. Design and Development of Low-Level RF...
View full text
Electronic eBook
20
Published 2007
Table of Contents: ... for Work Related Disorders Among Computer Workers -- Do Background Luminance Levels or Character Size...
View full text
Electronic eBook