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