469 search results - page 3 / 94 » Genetic Programming with Fitness Based on Model Checking |
FLAIRS
2006
15 years 1 months ago
2006
We propose to improve the efficiency of genetic programming, a method to automatically evolve computer programs. We use graph-based data mining to identify common aspects of highl...
109
click to vote
CGI
2001
IEEE
15 years 3 months ago
2001
IEEE
The problem of recovering the shape of objects from three-dimensional data is important to many areas of computer graphics and vision. We present here a method for the recovery of...
122
click to vote
ACSAC
2007
IEEE
15 years 6 months ago
2007
IEEE
We present an extension of traditional "black box" fuzz testing using a genetic algorithm based upon a Dynamic Markov Model fitness heuristic. This heuristic allows us t...
122
click to vote
CORR
2006
Springer
14 years 11 months ago
2006
Springer
Fitness functions based on test cases are very common in Genetic Programming (GP). This process can be assimilated to a learning task, with the inference of models from a limited n...
105
click to vote
EVOW
2007
Springer
15 years 3 months ago
2007
Springer
This paper presents a linear genetic programming approach, that solves simultaneously the region selection and feature extraction tasks, that are applicable to common image recogni...