3136 search results - page 163 / 628 » Genetic programming theory |
117
click to vote
ENTCS
2002
15 years 4 months ago
2002
The refinement calculus is a well-established theory for translating specifications to program code. Recent research has extended the calculus to handle real-time requirements and...
123
click to vote
TEC
2002
15 years 4 months ago
2002
We investigate the application of genetic algorithms (GAs) for recognizing real two-dimensional (2-D) or three-dimensional (3-D) objects from 2-D intensity images, assuming that th...
152
click to vote
GECCO
2006
Springer
15 years 8 months ago
2006
Springer
This research examines the behavior of inoperative code (introns) in the evolution of genetically robust solutions. Genetically robust solutions are solutions that are less likely...
144
click to vote
FSTTCS
2000
Springer
15 years 8 months ago
2000
Springer
We present a framework for decision making under uncertainty where the priorities of the alternatives can depend on the situation at hand. We design a logic-programming language, D...
135
click to vote
ICLP
2003
Springer
15 years 9 months ago
2003
Springer
Abstract logic programming is about designing logic programming languages via the proof theoretic notion of uniform provability. It allows the design of purely logical, very expres...