Soggetti all'interno della tua ricerca.
Soggetti all'interno della tua ricerca.
Cerca anche:
computation programming » communication programming, computation programmatic, computing programming
programming recursive » programming recursion, programming reversible, programming secure
function computation » function computing, function decomposition, section computational
recursive complexity » recursion complexity, subrecursive complexity, recursions complexity
complexity model » complexity based
computation programming » communication programming, computation programmatic, computing programming
programming recursive » programming recursion, programming reversible, programming secure
function computation » function computing, function decomposition, section computational
recursive complexity » recursion complexity, subrecursive complexity, recursions complexity
complexity model » complexity based
1
Pubblicazione 2015
Sommario:
“... Function Specification -- Indirectly Encoded Fitness Predictors Coevolved with Cartesian Programs -- Tapped...”Testo
Elettronico
eBook
2
Pubblicazione 2008
Sommario:
“... Parallelization in HPF Programs on the Earth Simulator -- Sampling of Protein Conformations with Computers...”Testo
Elettronico
eBook
3
Pubblicazione 2007
Sommario:
“... for Computational Effort Comparisons -- Crossover Bias in Genetic Programming -- Density Estimation with Genetic...”Testo
Elettronico
eBook
4
Pubblicazione 2014
Sommario:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”Testo
Elettronico
eBook
5
Pubblicazione 2012
Sommario:
“... Computer Model –Performance Study on an IBM Blue Gene/P Computer -- Simulation of the 2009 Harmanli Fire...”Testo
Elettronico
eBook
6
Pubblicazione 2006
Sommario:
“... Pareto Genetic Programming -- A Higher-Order Function Approach to Evolve Recursive Programs -- Trivial...”Testo
Elettronico
eBook
7
Pubblicazione 2015
Sommario:
“... Modelled with Complex Objects -- Chemistry-inspired Adaptive Stream Processing -- Computing Partial...”Testo
Elettronico
eBook
8
Pubblicazione 2008
Sommario:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”Testo
Elettronico
eBook
9
Pubblicazione 2008
Sommario:
“..., and Regular Expression Size -- Leftist Grammars Are Non-primitive Recursive -- On the Computational...”Testo
Elettronico
eBook
10
Pubblicazione 2006
Sommario:
“... -- On Complexity of Grammars Related to the Safety Problem -- Models -- Jumbo ?-Calculus -- ?-RBAC: Programming...”Testo
Elettronico
eBook
11
Pubblicazione 2015
Sommario:
“...Recursion theory and mathematical logic -- Computational complexity and Boolean functions -- Graph...”Testo
Elettronico
eBook
12
Pubblicazione 2005
Sommario:
“... -- On the Complexity of Universal Programs -- Finite Sets of Words and Computing -- Universality and Cellular Automata...”Testo
Elettronico
eBook
13
Pubblicazione 2007
Sommario:
“... -- Decision Problems for Lower/Upper Bound Parametric Timed Automata -- On the Complexity of Ltl Model...”Testo
Elettronico
eBook
14
Pubblicazione 2007
Sommario:
“... Probabilistic Logical Models -- ALLPAD: Approximate Learning of Logic Programs with Annotated Disjunctions...”Testo
Elettronico
eBook
15
Pubblicazione 2005
Sommario:
“... and Recursive Types Logically -- The Language ?: Circuits, Computations and Classical Logic -- Checking Risky...”Testo
Elettronico
eBook
16
Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part...
Pubblicazione 2005
Sommario:
“... with Recursion -- Determinacy Inference for Logic Programs -- Automatic Verification of Pointer Programs Using...”Testo
Elettronico
eBook
17
Pubblicazione 2005
Sommario:
“..., Decidability and Complexity -- Coprimality in Finite Models -- Towards a Characterization of Order-Invariant...”Testo
Elettronico
eBook
18
Computer Science - Theory and Applications 8th International Computer Science Symposium in Russia...
Pubblicazione 2013
Sommario:
“... the Recursive Method -- Boolean Language Operations on Nondeterministic Automata with a Pushdown of Constant...”Testo
Elettronico
eBook
19
Pubblicazione 2014
Sommario:
“...Software Verification -- The Spirit of Ghost Code -- SMT-Based Model Checking for Recursive...”Testo
Elettronico
eBook
20
Pubblicazione 2008
Sommario:
“...Invited Lecture -- Back to the Complexity of Universal Programs -- Applications Track Long Papers...”Testo
Elettronico
eBook
- 1
- 2
- 3
- Successivo »
- [3]