1133 search results - page 89 / 227 » Backward-chaining genetic programming |
163
click to vote
EUROGP
2007
Springer
16 years 14 days 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. ...
152
click to vote
GECCO
2000
Springer
15 years 10 months ago
2000
Springer
In earlier work we predicted program size would grow in the limit at a quadratic rate and up to fty generations we measured bloat O(generations1:2;1:5). On two simple benchmarks w...
179
click to vote
GECCO
2006
Springer
15 years 10 months ago
2006
Springer
This paper introduces a metric that measures symmetry in tree graphs, which allows for a statistical characterization of GP solutions by their architectural "shapes." A ...
142
click to vote
GECCO
2008
Springer
15 years 7 months ago
2008
Springer
Single and multi-step time-series predictors were evolved for forecasting minimum bidding prices in a simulated supply chain management scenario. Evolved programs were allowed to ...
154
click to vote
CEC
2003
IEEE
15 years 11 months ago
2003
IEEE
Abstract- The Maximum Homologous Crossover attempts to preserve similar structures from parents by aligning them according to their homology. In this paper, it is successfully test...