1
Gepubliceerd in 2006
Inhoudsopgave: ...Invited Papers -- Parallel Programming and Parallel Abstractions in Fortress -- Convergence...
Volledige tekst
Elektronisch E-boek
2
Gepubliceerd in 2007
Inhoudsopgave: ... Automata: The Case of Rule 90 -- Methods and Tools of Parallel Programming of Multicomputers -- Intensive...
Volledige tekst
Elektronisch E-boek
3
Gepubliceerd in 2015
Inhoudsopgave: ... Classification with GP -- Evolving Ensembles of Dispatching Rules Using Genetic Programming for Job Shop...
Volledige tekst
Elektronisch E-boek
4
Gepubliceerd in 2008
Inhoudsopgave: ... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...
Volledige tekst
Elektronisch E-boek
5
Gepubliceerd in 2006
Inhoudsopgave: ... for CHR -- Overlapping Rules and Logic Variables in Functional Logic Programs -- Towards “Propagation...
Volledige tekst
Elektronisch E-boek
6
Gepubliceerd in 2005
Inhoudsopgave: ... -- Coordination of Many Agents -- Parallelizing Union-Find in Constraint Handling Rules Using Confluence Analysis...
Volledige tekst
Elektronisch E-boek
7
Gepubliceerd in 2010
Inhoudsopgave: ... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...
Volledige tekst
Elektronisch E-boek
8
Gepubliceerd in 2014
Inhoudsopgave: ... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...
Volledige tekst
Elektronisch E-boek
9
Gepubliceerd in 2006
Inhoudsopgave: ... -- Testing Graph Isomorphism in Parallel by Playing a Game -- The Spectral Gap of Random Graphs with Given...
Volledige tekst
Elektronisch E-boek
10
Gepubliceerd in 2014
Inhoudsopgave: ...-Level Approach to Implementing Exact Real Arithmetic in the Functional Logic Programming Language Curry...
Volledige tekst
Elektronisch E-boek
11
Gepubliceerd in 2008
Inhoudsopgave: ... Functional Programs -- Denotation by Transformation -- Constraint Solving and Analysis -- Generation of Rule...
Volledige tekst
Elektronisch E-boek
12
Gepubliceerd in 2005
Inhoudsopgave: ... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...
Volledige tekst
Elektronisch E-boek
13
Gepubliceerd in 2013
Inhoudsopgave: ... -- May-Happen-in-Parallel Analysis for Priority-Based Scheduling -- The Complexity of Clausal Fragments...
Volledige tekst
Elektronisch E-boek
14
Gepubliceerd in 2010
Inhoudsopgave: ... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...
Volledige tekst
Elektronisch E-boek
15
Gepubliceerd in 2008
Inhoudsopgave: ...Industrial Functional Programming -- Certified Development Tools Implementation in Objective Caml...
Volledige tekst
Elektronisch E-boek
16
Gepubliceerd in 2014
Inhoudsopgave: ... JavaScript -- Compiling DNA Strand Displacement Reactions Using a Functional Programming Language -- Two...
Volledige tekst
Elektronisch E-boek
17
Gepubliceerd in 2010
Inhoudsopgave: ... -- Skeleton Composition Using Remote Data -- Netlog, a Rule-Based Language for Distributed Programming -- Code...
Volledige tekst
Elektronisch E-boek
18
Gepubliceerd in 2010
Inhoudsopgave: ... Networks -- Rule Discovery Process Based on Rough Sets under the Belief Function Framework -- Independent...
Volledige tekst
Elektronisch E-boek
19
Gepubliceerd in 2010
Inhoudsopgave: ... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...
Volledige tekst
Elektronisch E-boek
20
Gepubliceerd in 2008
Inhoudsopgave: ... Perception and Action on Functionally Grounded Representations -- A Sparse Regression Mixture Model...
Volledige tekst
Elektronisch E-boek