1
Published 2005
Table of Contents: ...Invited Papers -- Property Grammars: A Fully Constraint-Based Theory -- An Abductive Treatment...
View full text
Electronic eBook
2
Published 2005
Table of Contents: ... Explanation-Based Constraint Programming -- A Hybrid Algorithm for a Class of Resource Constrained Scheduling...
View full text
Electronic eBook
3
Published 2006
Table of Contents: ... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...
View full text
Electronic eBook
4
Published 2008
Table of Contents: ... Problems -- Semantic Building Blocks in Genetic Programming -- A Simple Powerful Constraint for Genetic...
View full text
Electronic eBook
5
Published 2010
Table of Contents: ... Constraints Can Be Resolved – The Lovász Local Lemma and Satisfiability -- Session 1-Track A. Combinatorial...
View full text
Electronic eBook
6
Published 2008
Table of Contents: ... Demonstration) -- Playing with : Constraints and Domain Cooperation -- Typing Safe Deallocation -- Iterative...
View full text
Electronic eBook
7
Published 2008
Table of Contents: ...Invited Talks -- Simulation, Modeling and Programming for Autonomous Robots: The Open Source...
View full text
Electronic eBook
8
Published 2005
Table of Contents: ... Constraints -- A Comparison of Methods for the Computation of Affine Lower Bound Functions for Polynomials...
View full text
Electronic eBook
9
Published 2014
Table of Contents: ... Reflection Resolution for Java -- Constructing Call Graphs of Scala Programs -- Finding Reference-Counting...
View full text
Electronic eBook
10
Published 2014
Table of Contents: ...Extreme Accuracy in Symbolic Regression -- Exploring Interestingness in a Computational Evolution...
View full text
Electronic eBook
11
Published 2013
Table of Contents: ...Evolving SQL Queries from Examples with Developmental Genetic Programming -- A Practical Platform...
View full text
Electronic eBook
12
Published 2005
Table of Contents: ... Programming -- Weighted Answer Sets and Applications in Intelligence Analysis -- How to Fix It: Using...
View full text
Electronic eBook
13
Published 2010
Table of Contents: ... on Grid and Cloud Computing -- Visualization of Neutral Model of Ship Pipe System Using X3D -- Cooperative...
View full text
Electronic eBook
14
Published 2012
Table of Contents: ... Heterogeneous Computing Cluster -- Estimating Available Bandwidth in Cooperative Multi-hop Wireless Networks...
View full text
Electronic eBook
15
Published 2014
Table of Contents: ... -- Optimization of Execution Time under Power Consumption Constraints in a Heterogeneous Parallel System with GPUs...
View full text
Electronic eBook
16
Published 2005
Table of Contents: ... -- Can Neural Network Constraints in GP Provide Power to Detect Genes Associated with Human Disease? -- A...
View full text
Electronic eBook
17
Published 2005
Table of Contents: ... Computation for Swapping a Failing Edge -- Flexible Cycle Synchronized Algorithm in Parallel and Distributed...
View full text
Electronic eBook
18
Published 2007
Table of Contents: ... -- An Universal Resolving Algorithm for Inverse Computation of Lazy Languages -- Program Generation...
View full text
Electronic eBook
19
Published 2013
Table of Contents: ... Frameworks -- Rewriting Rules for the Computation of Goal-Oriented Changes in an Argumentation System -- A...
View full text
Electronic eBook
20
Published 2006
Table of Contents: ... -- Verification Constraint Problems with Strengthening -- Semantics -- Quantitative ?-Calculus Analysis of Power...
View full text
Electronic eBook