1
Published 2008
Table of Contents: ... Programs -- Engineering an Incremental ASP Solver -- Concurrent and Local Evaluation of Normal Programs...
View full text
Electronic eBook
2
Published 2006
Table of Contents: ... Recursive Functions with Object Oriented Genetic Programming -- Negative Slope Coefficient: A Measure...
View full text
Electronic eBook
3
Published 2013
Table of Contents: ... Programming Competition: Preliminary Report -- WASP: A native ASP solver based on constraint learning...
View full text
Electronic eBook
4
Published 2015
Table of Contents: ... Programming -- Advances in WASP -- Improving Coordinated SMT-based System Synthesis by Utilizing Domain...
View full text
Electronic eBook
5
... satisfaction. This paper proposes a bi-objective mixed-integer nonlinear programming model with time window...
View full text
Article
6
Published 2008
Table of Contents: ... to Online Partial Evaluation -- Program Transformation -- Towards a Normal Form for Mercury Programs...
View full text
Electronic eBook
7
Published 2005
Table of Contents: .... The BarcelogicTools -- Scaling Up: Computers vs. Common Sense -- A New Constraint Solver for 3D Lattices and Its...
View full text
Electronic eBook
8
Published 2014
Table of Contents: ... Portfolio using Genetic Programming-based Load Models -- Maintenance of a Long Running Distributed Genetic...
View full text
Electronic eBook
9
Published 2013
Table of Contents: ...Evolving SQL Queries from Examples with Developmental Genetic Programming -- A Practical Platform...
View full text
Electronic eBook
10
Subjects: ...Operations Research, Management Science. https://scigraph.springernature.com/ontologies/product...
View full text
Electronic eBook
11
Published 2008
Table of Contents: ... Merge Process for Behavioral Evolution -- Evaluating Domain Design Approaches Using Systematic Review...
View full text
Electronic eBook
12
Published 2008
Table of Contents: ... Diagram -- Constraint-Aware XSLT Evaluation -- A Quality Circle Tool for Software Models -- Generating...
View full text
Electronic eBook
13
Published 2008
Table of Contents: ... -- Simulation, Orchestration and Logical Clocks -- Session 2. Programming Language Analysis -- CoVaC: Compiler...
View full text
Electronic eBook
14
Published 2006
Table of Contents: ... Systems and Product Lines -- Evaluating UML -- Uses and Abuses of the Stereotype Mechanism in UML 1.x...
View full text
Electronic eBook
15
by Revesz, Peter., Revesz, Peter.
Published 2010
Table of Contents: ...Data Models, Queries, Evaluation -- Propositional Databases -- Relational Databases -- Constraint...
View full text
Electronic eBook
16
Published 2008
Table of Contents: ... Structure Theory -- Exploiting Ontological Structure for Complex Preference Assembly -- Constraints -- A...
View full text
Electronic eBook
17
Published 2010
Table of Contents: ... -- Probabilistic Rough Set Approaches to Ordinal Classification with Monotonicity Constraints -- Web Page...
View full text
Electronic eBook
18
Published 2006
Table of Contents: ... Research -- What Beyond CMMI Is Needed to Help Assure Program and Project Success? -- Integrated Software...
View full text
Electronic eBook
19
Published 2008
Table of Contents: ... Behavior for Reuse Evaluation -- Product Line -- Combining Different Product Line Models to Balance Needs...
View full text
Electronic eBook
20
Published 2010
Table of Contents: ... Tool to Find Errors in Task-Based Parallel Programs -- Automated Tuning in Parallel Sorting on Multi...
View full text
Electronic eBook