1
Published 2005
Table of Contents: ... Using Multi-View Active Appearance Models and Dynamic Programming -- SPASM: Segmentation of Sparse...
View full text
Electronic eBook
2
Published 2013
Table of Contents: ... Programming: From Theory to Curry -- From Search to Computation: Redundancy Criteria and Simplification...
View full text
Electronic eBook
3
Published 2015
Table of Contents: ... Function Specification -- Indirectly Encoded Fitness Predictors Coevolved with Cartesian Programs -- Tapped...
View full text
Electronic eBook
4
Published 2008
Table of Contents: ... Video Decomposition Using Bounded Variation and Oscillatory Functions -- Reinstating Floyd-Steinberg...
View full text
Electronic eBook
5
Published 2010
Table of Contents: ...A Framework for Process Improvement in Software Product Management -- Graphical Technique...
View full text
Electronic eBook
6
Published 2008
Table of Contents: ... Perfectly One-Way Functions -- Error-Tolerant Combiners for Oblivious Primitives -- Asynchronous Multi-Party...
View full text
Electronic eBook
7
Published 2005
Table of Contents: ... Processing Filters -- Learning Weights in Genetic Programs Using Gradient Descent for Object Recognition...
View full text
Electronic eBook
8
Published 2006
Table of Contents: ... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...
View full text
Electronic eBook
9
Published 2007
Table of Contents: ... Minimization over Base Polytopes -- Computational Geometric Approach to Submodular Function Minimization...
View full text
Electronic eBook
10
Published 2006
Table of Contents: ...Invited Talk 1 -- Type Processing by Constraint Reasoning -- Session 1 -- Principal Type Inference...
View full text
Electronic eBook
11
Published 2010
Table of Contents: ... -- Sequential Decision Processes under Act-State Independence with Arbitrary Choice Functions -- Similarity...
View full text
Electronic eBook
12
Published 2008
Table of Contents: ...: An Early-Stopping Protocol for Computing Aggregate Functions in Sensor Networks -- Easy Consensus...
View full text
Electronic eBook
13
Published 2010
Table of Contents: ...) Computations Based on GPU -- Parallel Programming, Performance Evaluation -- A Proposed Asynchronous Object...
View full text
Electronic eBook
14
Published 2008
Table of Contents: ..., 2004: Indian Ocean Tsunami -- Approximate Dynamic Programming for Generation of Robustly Stable...
View full text
Electronic eBook
15
Published 2006
Table of Contents: ... for Automated Reasoning About Pointer Programs -- Bisimulations for Untyped Imperative Objects -- A Typed...
View full text
Electronic eBook
16
Published 2005
Table of Contents: ... Enterprise Process Modeling Through a Formalized Functional Typology -- Introducing Business Process...
View full text
Electronic eBook
17
Published 2005
Table of Contents: ...Programming with Explicit Security Policies -- Trace Partitioning in Abstract Interpretation Based...
View full text
Electronic eBook
18
Published 2008
Table of Contents: ... Approximation Spaces -- Paraconsistent Logic Programs with Four-Valued Rough Sets -- An Equivalent Definition...
View full text
Electronic eBook
19
Published 2013
Table of Contents: ... Based on a Kind of Improved Functional-Structural Model and Component Technology -- Edge Geometric...
View full text
Electronic eBook
20
Published 2012
Table of Contents: ... -- Simultaneous Learning of Several Bayesian and Mahalanobis Discriminant Functions by a Neural Network...
View full text
Electronic eBook