2085 search results - page 163 / 417 » Quantum Genetic Optimization |
134
click to vote
EUROGP
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Model checking is a way of analysing programs and programlike structures to decide whether they satisfy a list of temporal logic statements describing desired behaviour. ...
128
click to vote
GECCO
2004
Springer
15 years 10 months ago
2004
Springer
In this paper, we compare the performance of hierarchical GP methods (Automatically Defined Functions, Module Acquisition, Adaptive Representation through Learning) with the canon...
106
click to vote
GECCO
2003
Springer
15 years 10 months ago
2003
Springer
This paper presents a hypothesis about an undiscovered class of mechanisms that exist in standard GP. Rather than being intentionally designed, these mechanisms would be an uninten...
141
click to vote
GECCO
2005
Springer
15 years 10 months ago
2005
Springer
In this work we present an improved evolutionary method for inferring S-system model of genetic networks from the time series data of gene expression. We employed Differential Ev...
137
click to vote
GECCO
2008
Springer
15 years 5 months ago
2008
Springer
The parsimony pressure method is perhaps the simplest and most frequently used method to control bloat in genetic programming. In this paper we first reconsider the size evolutio...