1
Published 2015
Table of Contents: ... Function Specification -- Indirectly Encoded Fitness Predictors Coevolved with Cartesian Programs -- Tapped...
View full text
Electronic eBook
2
Published 2008
Table of Contents: ... -- The Complexity of Boolean Formula Minimization -- Optimal Cryptographic Hardness of Learning Monotone Functions...
View full text
Electronic eBook
3
Published 2007
Table of Contents: ... -- Session A4 -- Unbounded-Error One-Way Classical and Quantum Communication Complexity -- A Lower Bound...
View full text
Electronic eBook
4
Published 2012
Table of Contents: ... Algorithms of Computational -- Geometry Blending Functions for Hermite Interpolation by Beta-Function B...
View full text
Electronic eBook
5
Table of Contents: ...Programming and Reasoning with Equations -- to Haskell -- Equational Reasoning -- Recursion...
View full text
Electronic eBook
6
Published 2006
Table of Contents: ... and Structures -- Prefix-Like Complexities and Computability in the Limit -- Partial Continuous Functions...
View full text
Electronic eBook
7
Published 2006
Table of Contents: ... Approach -- A New Scaling Kernel-Based Fuzzy System with Low Computational Complexity -- Bulk Synchronous...
View full text
Electronic eBook
8
Published 2013
Table of Contents: ... and Complexity -- Cruise Control in Hybrid Event-B -- From Distributions to Probabilistic Reactive Programs...
View full text
Electronic eBook
9
Published 2005
Table of Contents: ... Information -- Intelligent Information Systems -- On Recursive Functions and Well–Founded Relations...
View full text
Electronic eBook
10
Published 2006
Table of Contents: ... Abstraction of Recursive Programs -- Relative Safety -- Resource Usage Analysis for the ?-Calculus -- Semantic...
View full text
Electronic eBook
11
Published 2006
Table of Contents: ... Approach to Computer-Assisted Translation Based on Finite-State Transducers -- Finite-State Registered...
View full text
Electronic eBook
12
Published 2006
Table of Contents: ... Programs -- Preemptive Online Scheduling: Optimal Algorithms for All Speeds -- On the Complexity...
View full text
Electronic eBook
13
Published 2010
Table of Contents: ... and Affine Lambda Calculus -- Beluga: A Framework for Programming and Reasoning with Deductive Systems...
View full text
Electronic eBook
14
Published 2005
Table of Contents: ... -- Recursive Self-organizing Map as a Contractive Iterative Function System -- Differential Priors for Elastic...
View full text
Electronic eBook
15
Published 2007
Table of Contents: ... Computation of Recursive Principal Component Analysis for Structured Input -- Hinge Rank Loss and the Area...
View full text
Electronic eBook
16
Published 2006
Table of Contents: ... of Functionality and Semantic Annotation for Technical Knowledge Management -- Support for Content Creation Using...
View full text
Electronic eBook
17
Published 2006
Table of Contents: ... Translucency Using Dynamic Programming -- A Method for Detection and Modeling of the Human Spine Based...
View full text
Electronic eBook
18
Published 2005
Table of Contents: ... with Different Subspace Classification -- Clustering: Basics -- Using Clustering to Learn Distance Functions...
View full text
Electronic eBook