Sciweavers

411 search results - page 7 / 83
» Automatically finding patches using genetic programming
Sort
View
FASE
2009
Springer
14 years 4 months ago
Finding Loop Invariants for Programs over Arrays Using a Theorem Prover
Abstract. We present a new method for automatic generation of loop invariants for programs containing arrays. Unlike all previously known methods, our method allows one to generate...
Laura Kovács, Andrei Voronkov
GECCO
2008
Springer
113views Optimization» more  GECCO 2008»
13 years 11 months ago
Genetic programming based automatic gait generation for quadruped robots
This paper introduces a new approach to develop a fast gait for quadruped robot using genetic programming (GP). Several recent approaches have focused on the genetic algorithm (GA...
Kisung Seo, Soohwan Hyun
AAAI
2008
14 years 10 days ago
Efficient Haplotype Inference with Answer Set Programming
Identifying maternal and paternal inheritance is essential to be able to find the set of genes responsible for a particular disease. Although we have access to genotype data (gene...
Esra Erdem, Ferhan Türe
GECCO
2006
Springer
143views Optimization» more  GECCO 2006»
14 years 1 months ago
Heterogeneous cooperative coevolution: strategies of integration between GP and GA
Cooperative coevolution has proven to be a promising technique for solving complex combinatorial optimization problems. In this paper, we present four different strategies which i...
Leonardo Vanneschi, Giancarlo Mauri, Andrea Valsec...
GPEM
2006
97views more  GPEM 2006»
13 years 10 months ago
Evolving recursive programs by using adaptive grammar based genetic programming
Genetic programming (GP) extends traditional genetic algorithms to automatically induce computer programs. GP has been applied in a wide range of applications such as software ree...
Man Wong