469 search results - page 4 / 94 » Genetic Programming with Fitness Based on Model Checking |
TOOLS
2000
IEEE
14 years 7 hour ago
2000
IEEE
This paper presents a method and a tool for building trustable OO components. The methodology is based on an integrated design and test approach for OO software components. It is ...
GECCO
2005
Springer
14 years 1 months ago
2005
Springer
Evolutionary models typically rely on a single level of evolution for training a team of cooperating agents. I present a model that evolves at two levels—an “organizational”...
GECCO
2006
Springer
13 years 11 months ago
2006
Springer
This paper presents a system that uses Genetic Algorithm (GA) to evolve hierarchical pulse sets (i.e., hierarchical duration vs. amplitude matrices) for expressive music performan...
GECCO
2006
Springer
13 years 11 months ago
2006
Springer
Genetic programming has been considered a promising approach for function approximation since it is possible to optimize both the functional form and the coefficients. However, it...
ICIP
2009
IEEE
13 years 5 months ago
2009
IEEE
Supershape model is a recent primitive that represents numerous 3D shapes with several symmetry axes. The main interest of this model is its capability to reconstruct more complex...