1
Veröffentlicht 2010
Inhaltsangabe: ... -- Automatic Parallelization of Recursive Functions Using Quantifier Elimination -- A Skeleton for Distributed...
Volltext
Elektronisch E-Book
2
Veröffentlicht 2015
Inhaltsangabe: ... Selection and Question-Answer Ranking in IBM Watson -- Automatic Evolution of Parallel Recursive Programs...
Volltext
Elektronisch E-Book
3
Veröffentlicht 2014
Inhaltsangabe: ... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...
Volltext
Elektronisch E-Book
4
Veröffentlicht 2006
Inhaltsangabe: ... Induction -- A Less Destructive, Context-Aware Crossover Operator for GP -- AQUAGP: Approximate QUery...
Volltext
Elektronisch E-Book
5
Veröffentlicht 2007
Inhaltsangabe: ...Plenary Talks -- A Grammatical Genetic Programming Approach to Modularity in Genetic Algorithms...
Volltext
Elektronisch E-Book
6
Veröffentlicht 2008
Inhaltsangabe: ... -- Workload Characterization of Stateful Networking Applications -- Using Recursion to Boost ATLAS’s...
Volltext
Elektronisch E-Book
7
Veröffentlicht 2008
Inhaltsangabe: ... -- Internet Ad Auctions: Insights and Directions -- Track A: Algorithms, Automata, Complexity, and Games...
Volltext
Elektronisch E-Book
8
Veröffentlicht 2008
Inhaltsangabe: ... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...
Volltext
Elektronisch E-Book
9
Veröffentlicht 2006
Inhaltsangabe: ... Processes -- A Dolev-Yao-Based Definition of Abuse-Free Protocols -- Secrecy and Protocol Analysis...
Volltext
Elektronisch E-Book
10
Veröffentlicht 2006
Inhaltsangabe: ... Pareto Genetic Programming -- A Higher-Order Function Approach to Evolve Recursive Programs -- Trivial...
Volltext
Elektronisch E-Book
11
Veröffentlicht 2015
Inhaltsangabe: ... Modelled with Complex Objects -- Chemistry-inspired Adaptive Stream Processing -- Computing Partial...
Volltext
Elektronisch E-Book
12
Veröffentlicht 2007
Inhaltsangabe: ... -- Session B4 -- A Fully Abstract Trace Semantics for General References -- Aliased Register Allocation...
Volltext
Elektronisch E-Book
13
Veröffentlicht 2005
Inhaltsangabe: ... -- On the Complexity of Universal Programs -- Finite Sets of Words and Computing -- Universality and Cellular Automata...
Volltext
Elektronisch E-Book
14
Veröffentlicht 2007
Inhaltsangabe: ... Probabilistic Logical Models -- ALLPAD: Approximate Learning of Logic Programs with Annotated Disjunctions...
Volltext
Elektronisch E-Book
15
Veröffentlicht 2007
Inhaltsangabe: ... Abstract Prolog Machine with Jumbo Instructions -- Advanced Techniques for Answer Set Programming -- A...
Volltext
Elektronisch E-Book
16
Veröffentlicht 2012
Inhaltsangabe: ... and Applications to Aerodynamics .-Processor Array Design with the Use of Genetic Algorithm.-A Hybrid Genetic...
Volltext
Elektronisch E-Book
17
Veröffentlicht 2015
Inhaltsangabe: ... as an Abstract Data Type -- Type-Based Allocation Analysis for Co-recursion in Lazy Functional Languages -- Type...
Volltext
Elektronisch E-Book
18
Veröffentlicht 2015
Inhaltsangabe: ...Recursion theory and mathematical logic -- Computational complexity and Boolean functions -- Graph...
Volltext
Elektronisch E-Book
19
Veröffentlicht 2013
Inhaltsangabe: ... Automata with Restricted Alphabets -- Random Generation of Deterministic Acyclic Automata Using...
Volltext
Elektronisch E-Book
20
Veröffentlicht 2005
Inhaltsangabe: ... Grammar-Based Shape Analysis -- A Type Discipline for Authorization Policies -- Computationally Sound...
Volltext
Elektronisch E-Book