469 search results - page 11 / 94 » Genetic Programming with Fitness Based on Model Checking |
GECCO
2004
Springer
14 years 1 months ago
2004
Springer
A successful industrial application of a novel type biomass estimator based on Genetic Programming (GP) is described in the paper. The biomass is inferred from other available meas...
EVOW
1999
Springer
13 years 12 months ago
1999
Springer
This paper describes a new approximate approach for checking the correctness of the implementation of a protocol interface, comparing its lowlevel implementation with its high-leve...
EUROGP
2005
Springer
14 years 1 months ago
2005
Springer
We describe a novel method for using Genetic Programming to create compact classification rules based on combinations of N-Grams (character strings). Genetic programs acquire fitne...
EVOW
2003
Springer
14 years 26 days ago
2003
Springer
This paper describes a domain independent approach to the use of genetic programming for object detection problems. Rather than using raw pixels or high level domain specific feat...
GECCO
2004
Springer
14 years 1 months ago
2004
Springer
Extending the notion of inheritable genotype in genetic programming (GP) from the common model of DNA into chromatin (DNA and histones), we propose an approach of embedding in GP a...