Sciweavers

Share
487 search results - page 1 / 98
» Genetic Programming with Fitness Based on Model Checking
Sort
View
EUROGP
2007
Springer
116views Optimization» more  EUROGP 2007»
10 years 5 months ago
Genetic Programming with Fitness Based on Model Checking
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. ...
Colin G. Johnson
FOGA
1994
10 years 25 days ago
Predictive Models Using Fitness Distributions of Genetic Operators
An important goal of the theory of genetic algorithms is to build predictive models of how well genetic algorithms are expected to perform, given a representation, a fitness lands...
John J. Grefenstette
PPSN
2010
Springer
9 years 9 months ago
Using Co-solvability to Model and Exploit Synergetic Effects in Evolution
Abstract. We introduce, analyze, and experimentally examine co-solvability, an ability of a solution to solve a pair of fitness cases (tests). Based on this concept, we devise a co...
Krzysztof Krawiec, Pawel Lichocki
GECCO
2006
Springer
159views Optimization» more  GECCO 2006»
10 years 3 months ago
A genetic model based on simulated crossover of quaternary genes for quadratic fitness
We present a genetic model based on simulated recombination of fixed sequences of quaternary genes (assuming four distinct forms, or alleles). States and dynamics of the infinite ...
Marco Carpentieri, Vito Fedullo
FLAIRS
2008
10 years 1 months ago
Using Genetic Programming to Increase Rule Quality
Rule extraction is a technique aimed at transforming highly accurate opaque models like neural networks into comprehensible models without losing accuracy. G-REX is a rule extract...
Rikard König, Ulf Johansson, Lars Niklasson
books