1
Published 2015
Table of Contents: ... Function Specification -- Indirectly Encoded Fitness Predictors Coevolved with Cartesian Programs -- Tapped...
View full text
Electronic eBook
2
Published 2006
Table of Contents: ... Recursive Functions with Object Oriented Genetic Programming -- Negative Slope Coefficient: A Measure...
View full text
Electronic eBook
3
Published 2008
Table of Contents: ... Architecture -- A Scalable Methodology for Computing Fault-Free Paths in InfiniBand Torus Networks -- Using a...
View full text
Electronic eBook
4
Published 2006
Table of Contents: ... Pareto Genetic Programming -- A Higher-Order Function Approach to Evolve Recursive Programs -- Trivial...
View full text
Electronic eBook
5
Published 2008
Table of Contents: ... -- The Complexity of Boolean Formula Minimization -- Optimal Cryptographic Hardness of Learning Monotone Functions...
View full text
Electronic eBook
6
Published 2008
Table of Contents: ..., and Regular Expression Size -- Leftist Grammars Are Non-primitive Recursive -- On the Computational...
View full text
Electronic eBook
7
Published 2007
Table of Contents: ... Scheduling on Unrelated Machines -- Session A2 -- Estimating Sum by Weighted Sampling -- Sampling Methods...
View full text
Electronic eBook
8
Published 2007
Table of Contents: ... -- On Finitely Recursive Programs -- Minimal Logic Programs -- Generic Tableaux for Answer Set Programming...
View full text
Electronic eBook
9
Published 2012
Table of Contents: ...: Part 3. Computational Studies.-Part IV: Control and Uncertain Systems Newton’s Method and Secant Method...
View full text
Electronic eBook
10
Published 2005
Table of Contents: ... with Recursion -- Determinacy Inference for Logic Programs -- Automatic Verification of Pointer Programs Using...
View full text
Electronic eBook
11
Published 2005
Table of Contents: ... of Deterministic Tree Languages -- Constructive Reasoning and Computational Mathematics -- Complexity...
View full text
Electronic eBook
12
Published 2013
Table of Contents: ... the Recursive Method -- Boolean Language Operations on Nondeterministic Automata with a Pushdown of Constant...
View full text
Electronic eBook
13
Published 2008
Table of Contents: ...Invited Lecture -- Back to the Complexity of Universal Programs -- Applications Track Long Papers...
View full text
Electronic eBook
14
Table of Contents: ...Programming and Reasoning with Equations -- to Haskell -- Equational Reasoning -- Recursion...
View full text
Electronic eBook
15
Published 2006
Table of Contents: ... and Structures -- Prefix-Like Complexities and Computability in the Limit -- Partial Continuous Functions...
View full text
Electronic eBook
16
Published 2006
Table of Contents: ... Approach -- A New Scaling Kernel-Based Fuzzy System with Low Computational Complexity -- Bulk Synchronous...
View full text
Electronic eBook
17
Published 2013
Table of Contents: ... and Complexity -- Cruise Control in Hybrid Event-B -- From Distributions to Probabilistic Reactive Programs...
View full text
Electronic eBook
18
Published 2005
Table of Contents: ... Information -- Intelligent Information Systems -- On Recursive Functions and Well–Founded Relations...
View full text
Electronic eBook
19
Published 2007
Table of Contents: ... in the Plane -- On the Fractional Chromatic Number of Monotone Self-dual Boolean Functions -- On the Complexity...
View full text
Electronic eBook
20
Published 2008
Table of Contents: ... of Computer Science -- Recursive Domain Equations of Filter Models -- Algorithmic Problems for Metrics...
View full text
Electronic eBook