153 search results - page 1 / 31 » Investigation on artificial ant using analytic programming |
GECCO
2006
Springer
13 years 8 months ago
2006
Springer
The paper deals with a alternative tool for symbolic regression
GECCO
2008
Springer
13 years 5 months ago
2008
Springer
This paper begins by reviewing different methods of automatic programming while emphasizing the technique of Ant Programming (AP). AP uses an ant foraging metaphor in which ants g...
CORR
2004
Springer
13 years 4 months ago
2004
Springer
GECCO
2007
Springer
13 years 10 months ago
2007
Springer
In this paper, we provide an algorithm that systematically considers all small trees in the search space of genetic programming. These small trees are used to generate useful subr...
EUROCAST
2007
Springer
13 years 8 months ago
2007
Springer
Abstract Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulas on the program variables. Most of m...