1
Published 2014
Table of Contents: ... and Their Applications -- On the Complexity of Trial and Error for Constraint Satisfaction Problems -- Information...
View full text
Electronic eBook
2
Published 2015
Table of Contents: ... Restrictions with Applications to Exponential Time Problems -- Spotting Trees with Few Leaves -- Constraint...
View full text
Electronic eBook
3
Published 2015
Table of Contents: ... Automata -- Analysis of Probabilistic Systems via Generating Functions and Padé Approximation...
View full text
Electronic eBook
4
by Hermes, Dan., Hermes, Dan.
Published 2015
Subjects: ...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...
View full text
Electronic eBook
5
Published 2007
Table of Contents: ... Substructural Type System for Delimited Continuations -- The Inhabitation Problem for Rank Two Intersection...
View full text
Electronic eBook
6
Published 2005
Table of Contents: ... Functions for Pleasant Music: Zipf’s Law and Interactive Evolution Systems -- Understanding Expressive Music...
View full text
Electronic eBook
7
Published 2008
Table of Contents: ... -- Automatic Invention of Fitness Functions with Application to Scene Generation -- Manipulating Artificial...
View full text
Electronic eBook
8
Published 2008
Table of Contents: ... Declarative Theorem Prover for First-Order Classical Logic -- Towards Ludics Programming: Interactive Proof...
View full text
Electronic eBook
9
Published 2005
Table of Contents: ... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...
View full text
Electronic eBook
10
Published 2008
Table of Contents: ... in Cognitive Systems Architectures -- Full Papers -- Application of Naturalistic Decision Making to Emergency...
View full text
Electronic eBook
11
Published 2015
Table of Contents: ... Combinatorial Algorithm for the Planar Multi flow Problem with Demands Located on Three Holes -- Generalized LR...
View full text
Electronic eBook
12
Published 2005
Table of Contents: ... -- An Application of Quantum Finite Automata to Interactive Proof Systems (Extended Abstract) -- Time and Space...
View full text
Electronic eBook
13
Published 2007
Table of Contents: ... Families of Perfect Hash Functions and Their Applications -- An Exponential Improvement on the MST...
View full text
Electronic eBook
14
Published 2008
Table of Contents: ... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...
View full text
Electronic eBook
15
Published 2010
Table of Contents: ...-Dimensional Flows in a High Pressure Turbine -- Application of Parallel Processing to the Simulation of Heart...
View full text
Electronic eBook
16
by Lee, Kent D., Lee, Kent D.
Published 2014
Table of Contents: ...Introduction -- Decision Making -- Repetitive Tasks -- Using Objects -- Defining Functions -- Event...
View full text
Electronic eBook
17
Published 2010
Table of Contents: ... -- EvoENVIRONMENT Contributions -- A Hyper-Heuristic Approach for the Unit Commitment Problem -- Application...
View full text
Electronic eBook
18
by Lee, Kent D., Lee, Kent D.
Published 2011
Table of Contents: ...Introduction -- Decision Making -- Repetitive Tasks -- Using Objects -- Defining Functions -- Event...
View full text
Electronic eBook
19
Published 2010
Table of Contents: ... of Embedded Software – Impact of ISO DIS 26262 in the Automotive Domain -- Enforcing Applicability of Real...
View full text
Electronic eBook
20
Published 2006
Table of Contents: ... -- Application Issues of Genetic Programming in Industry -- Challenges in Open-Ended Problem Solving with Genetic...
View full text
Electronic eBook