Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programming recursion » programming decision, programming session, programming decisions
computing programming » computer programming, computers programming
recursion complexity » recursions complexity, recursive complexity, regulation complexity
function computing » education computing, generation computing
complexity a » complexity _
programming recursion » programming decision, programming session, programming decisions
computing programming » computer programming, computers programming
recursion complexity » recursions complexity, recursive complexity, regulation complexity
function computing » education computing, generation computing
complexity a » complexity _
1
Published 2010
Table of Contents:
“... -- Automatic Parallelization of Recursive Functions Using Quantifier Elimination -- A Skeleton for Distributed...”View full text
Electronic
eBook
2
Published 2015
Table of Contents:
“... Selection and Question-Answer Ranking in IBM Watson -- Automatic Evolution of Parallel Recursive Programs...”View full text
Electronic
eBook
3
Published 2014
Table of Contents:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”View full text
Electronic
eBook
4
Published 2006
Table of Contents:
“... Induction -- A Less Destructive, Context-Aware Crossover Operator for GP -- AQUAGP: Approximate QUery...”View full text
Electronic
eBook
5
Published 2007
Table of Contents:
“...Plenary Talks -- A Grammatical Genetic Programming Approach to Modularity in Genetic Algorithms...”View full text
Electronic
eBook
6
Published 2008
Table of Contents:
“... -- Workload Characterization of Stateful Networking Applications -- Using Recursion to Boost ATLAS’s...”View full text
Electronic
eBook
7
Published 2008
Table of Contents:
“... -- Internet Ad Auctions: Insights and Directions -- Track A: Algorithms, Automata, Complexity, and Games...”View full text
Electronic
eBook
8
Published 2008
Table of Contents:
“... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”View full text
Electronic
eBook
9
Published 2006
Table of Contents:
“... Processes -- A Dolev-Yao-Based Definition of Abuse-Free Protocols -- Secrecy and Protocol Analysis...”View full text
Electronic
eBook
10
Published 2006
Table of Contents:
“... Pareto Genetic Programming -- A Higher-Order Function Approach to Evolve Recursive Programs -- Trivial...”View full text
Electronic
eBook
11
Published 2015
Table of Contents:
“... Modelled with Complex Objects -- Chemistry-inspired Adaptive Stream Processing -- Computing Partial...”View full text
Electronic
eBook
12
Published 2007
Table of Contents:
“... -- Session B4 -- A Fully Abstract Trace Semantics for General References -- Aliased Register Allocation...”View full text
Electronic
eBook
13
Published 2005
Table of Contents:
“... -- On the Complexity of Universal Programs -- Finite Sets of Words and Computing -- Universality and Cellular Automata...”View full text
Electronic
eBook
14
Published 2007
Table of Contents:
“... Probabilistic Logical Models -- ALLPAD: Approximate Learning of Logic Programs with Annotated Disjunctions...”View full text
Electronic
eBook
15
Published 2007
Table of Contents:
“... Abstract Prolog Machine with Jumbo Instructions -- Advanced Techniques for Answer Set Programming -- A...”View full text
Electronic
eBook
16
Published 2012
Table of Contents:
“... and Applications to Aerodynamics .-Processor Array Design with the Use of Genetic Algorithm.-A Hybrid Genetic...”View full text
Electronic
eBook
17
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...
Published 2015
Table of Contents:
“... as an Abstract Data Type -- Type-Based Allocation Analysis for Co-recursion in Lazy Functional Languages -- Type...”View full text
Electronic
eBook
18
Published 2015
Table of Contents:
“...Recursion theory and mathematical logic -- Computational complexity and Boolean functions -- Graph...”View full text
Electronic
eBook
19
Computer Science - Theory and Applications 8th International Computer Science Symposium in Russia...
Published 2013
Table of Contents:
“... Automata with Restricted Alphabets -- Random Generation of Deterministic Acyclic Automata Using...”View full text
Electronic
eBook
20
Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part...
Published 2005
Table of Contents:
“... Grammar-Based Shape Analysis -- A Type Discipline for Authorization Policies -- Computationally Sound...”View full text
Electronic
eBook