Sciweavers

4167 search results - page 500 / 834
» Evolutionary functional testing
Sort
View
GECCO
2005
Springer
133views Optimization» more  GECCO 2005»
16 years 4 days ago
Parsing and translation of expressions by genetic programming
We have investigated the potential for using genetic programming to evolve compiler parsing and translation routines for processing arithmetic and logical expressions as they are ...
David Jackson
ICANN
2005
Springer
16 years 4 days ago
Action Understanding and Imitation Learning in a Robot-Human Task
We report results of an interdisciplinary project which aims at endowing a real robot system with the capacity for learning by goaldirected imitation. The control architecture is b...
Wolfram Erlhagen, Albert Mukovskiy, Estela Bicho, ...
ICCSA
2005
Springer
16 years 4 days ago
Comparison of Global Optimization Methods for Drag Reduction in the Automotive Industry
Various global optimization methods are compared in order to find the best strategy to solve realistic drag reduction problems in the automotive industry. All the methods consist ...
Laurent Dumas, Vincent Herbert, Frédé...
TLCA
2005
Springer
16 years 3 days ago
Can Proofs Be Animated By Games?
Proof animation is a way of executing proofs to nd errors in the formalization of proofs. It is intended to be \testing in proof engineering". Although the realizability inter...
Susumu Hayashi
ACRI
2004
Springer
16 years 1 days ago
Perturbing the Topology of the Game of Life Increases Its Robustness to Asynchrony
An experimental analysis of the asynchronous version of the “Game of Life” is performed to estimate how topology perturbations modify its evolution. We focus on the study of a ...
Nazim Fatès, Michel Morvan