1
Publicat 2008
Taula de continguts: ... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...
Obtenir text complet
Electrònic eBook
2
Publicat 2005
Taula de continguts: ... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...
Obtenir text complet
Electrònic eBook
3
Publicat 2008
Taula de continguts: ...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...
Obtenir text complet
Electrònic eBook
4
Publicat 2008
Taula de continguts: ... of the Metric Deadline TSP -- On the Shortest Linear Straight-Line Program for Computing Linear Forms -- Flip...
Obtenir text complet
Electrònic eBook
5
Publicat 2005
Taula de continguts: ... for Dynamic Parameter Control of Parallel Evolutionary Algorithms -- Robust Inference of Bayesian Networks...
Obtenir text complet
Electrònic eBook
6
Publicat 2005
Taula de continguts: ...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...
Obtenir text complet
Electrònic eBook
7
Publicat 2013
Taula de continguts: ... Computing Platforms -- Towards a Domain-Specific Language for Patterns-Oriented Parallel Programming...
Obtenir text complet
Electrònic eBook
8
Publicat 2014
Taula de continguts: ... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...
Obtenir text complet
Electrònic eBook
9
Taula de continguts: ...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...
Obtenir text complet
Electrònic eBook
10
Publicat 2006
Taula de continguts: ... Approach to Verifying Finitely-Presentable Infinite Structures (Extended Abstract) -- Automata and Logics...
Obtenir text complet
Electrònic eBook
11
Taula de continguts: ... Parallelization -- Multi-Criteria Decision Making -- Alternative Metaheuristics....
Obtenir text complet
Electrònic eBook
12
Publicat 2007
Taula de continguts: ...-Biology -- Speedup Analysis for Parallel Implementation of Model of Response Accuracy and Response Time...
Obtenir text complet
Electrònic eBook
13
Publicat 2013
Taula de continguts: ....- Unambiguous Automata Denoting Finitely Sequential Functions.- Duplication-Loss Genome Alignment: Complexity...
Obtenir text complet
Electrònic eBook
14
Publicat 2014
Taula de continguts: ... Topology via Functional Programming: A Baseline Analysis: D. Duke and H. Carr -- 6 Distributed Contour...
Obtenir text complet
Electrònic eBook
15
Publicat 2015
Taula de continguts: ... -- Combinatorics on Words -- Complexity and Recursive Functions -- Compression, Inference, Pattern Matching...
Obtenir text complet
Electrònic eBook
16
Publicat 2005
Taula de continguts: ... -- Interval-Valued Data Structures and Their Application to e-Learning -- Boolean Functions with a Low...
Obtenir text complet
Electrònic eBook
17
Publicat 2008
Taula de continguts: ... Specifications for Distributed Program Synthesis -- Exact OBDD Bounds for Some Fundamental Functions...
Obtenir text complet
Electrònic eBook
18
Publicat 2008
Taula de continguts: ... Approach -- Rough Sets Theory for Multi-Objective Optimization Problems -- How to Acquire and Structuralize...
Obtenir text complet
Electrònic eBook
19
Publicat 2006
Taula de continguts: ... of a Simple Genetic xsAlgorithm -- Evolutionary Algorithm of Radial Basis Function Neural Networks...
Obtenir text complet
Electrònic eBook
20
Publicat 2006
Taula de continguts: ... Service Composition -- Evaluating Conjunctive Triple Pattern Queries over Large Structured Overlay...
Obtenir text complet
Electrònic eBook