1
Publicado 2005
Table of Contents: ... Using Multi-View Active Appearance Models and Dynamic Programming -- SPASM: Segmentation of Sparse...
Ligazón do recurso
Electrónico eBook
2
Publicado 2013
Table of Contents: ...On the Use of the Moment Equations for Parameter Inference, Control and Experimental Design...
Ligazón do recurso
Electrónico eBook
3
Publicado 2014
Table of Contents: ... 1.39-Approximation in Practice -- On Monitoring C/C++ Transactional Memory Programs.- Bent Functions...
Ligazón do recurso
Electrónico eBook
4
Table of Contents: ...Basics -- Introduction -- Linear Programming Prerequisites -- Nonlinear Programming Prerequisites...
Ligazón do recurso
Electrónico eBook
5
Publicado 2010
Table of Contents: ... and Parallelized Programs -- DFT Performance Prediction in FFTW -- Safe and Familiar Multi-core Programming...
Ligazón do recurso
Electrónico eBook
6
Publicado 2008
Table of Contents: ... Architecture -- A Scalable Methodology for Computing Fault-Free Paths in InfiniBand Torus Networks -- Using a...
Ligazón do recurso
Electrónico eBook
7
Publicado 2008
Table of Contents: ... System Solver Using Optimized Libraries and Parallel Computation -- Parallelisation of the CFD Code of a...
Ligazón do recurso
Electrónico eBook
8
Publicado 2013
Table of Contents: ... Based on a Kind of Improved Functional-Structural Model and Component Technology -- Edge Geometric...
Ligazón do recurso
Electrónico eBook
9
Publicado 2007
Table of Contents: ... Architecture -- 2: Cluster Computing -- JaceV: A Programming and Execution Environment for Asynchronous...
Ligazón do recurso
Electrónico eBook
10
Publicado 2014
Table of Contents: ... with multiplicity structures -- Signature-based Method of Deciding Program Termination -- High-precision eigenvalue...
Ligazón do recurso
Electrónico eBook
11
Publicado 2015
Table of Contents: ... Hierarchy of Fast Reversible Turing Machines -- Real-time methods in reversible computation -- Reversible...
Ligazón do recurso
Electrónico eBook
12
Publicado 2005
Table of Contents: ... Processing Filters -- Learning Weights in Genetic Programs Using Gradient Descent for Object Recognition...
Ligazón do recurso
Electrónico eBook
13
Publicado 2008
Table of Contents: ... Recognition -- Object Detection Using Neural Networks and Genetic Programming -- Direct 3D Metric...
Ligazón do recurso
Electrónico eBook
14
Publicado 2010
Table of Contents: ...On Yuri Gurevich -- Yuri, Logic, and Computer Science -- Database Theory, Yuri, and Me -- Technical...
Ligazón do recurso
Electrónico eBook
15
Publicado 2012
Table of Contents: ...: Part 3. Computational Studies.-Part IV: Control and Uncertain Systems Newton’s Method and Secant Method...
Ligazón do recurso
Electrónico eBook
16
Publicado 2007
Table of Contents: ... -- Volume Computation Using a Direct Monte Carlo Method -- Improved Throughput Bounds for Interference-Aware...
Ligazón do recurso
Electrónico eBook
17
Publicado 2007
Table of Contents: ... Portrait System Based on And-Or Graph Representation -- Object Category Recognition Using Generative...
Ligazón do recurso
Electrónico eBook
18
Publicado 2008
Table of Contents: ...Tutorials and Invited Lectures -- Inter-deriving Semantic Artifacts for Object-Oriented Programming...
Ligazón do recurso
Electrónico eBook
19
Publicado 2010
Table of Contents: ... Augmented Lagrangian Method for Computationally Fast Constrained Optimization -- Evolutionary Programming...
Ligazón do recurso
Electrónico eBook
20
Publicado 2010
Subjects: ...Programming languages (Electronic computers)....
Ligazón do recurso
Electrónico eBook