Sciweavers

1614 search results - page 72 / 323
» Polymorphism and Genetic Programming
Sort
View
CEC
2009
IEEE
14 years 4 months ago
Representation and structural biases in CGP
— An evolutionary algorithm automatically discovers suitable solutions to a problem, which may lie anywhere in a large search space of candidate solutions. In the case of Genetic...
Andrew J. Payne, Susan Stepney
GECCO
2005
Springer
141views Optimization» more  GECCO 2005»
14 years 3 months ago
Evolving cooperative strategies for UAV teams
We present a Genetic Programming approach to evolve cooperative controllers for teams of UAVs. Our focus is a collaborative search mission in an uncertain and/or hostile environme...
Marc D. Richards, L. Darrell Whitley, J. Ross Beve...
ICLP
2003
Springer
14 years 3 months ago
Termination Analysis with Types Is More Accurate
Abstract. In this paper we show how we can use size and groundness analyses lifted to regular and (polymorphic) Hindley/Milner typed programs to determine more accurate termination...
Vitaly Lagoon, Frédéric Mesnard, Pet...
GECCO
2010
Springer
150views Optimization» more  GECCO 2010»
14 years 2 months ago
Object-level recombination of commodity applications
This paper presents ObjRecombGA, a genetic algorithm framework for recombining related programs at the object file level. A genetic algorithm guides the selection of object file...
Blair Foster, Anil Somayaji
ICFP
2003
ACM
14 years 10 months ago
MLF: raising ML to the power of system F
We propose a type system MLFthat generalizes ML with first-class polymorphism as in System F. Expressions may contain secondorder type annotations. Every typable expression admits...
Didier Le Botlan, Didier Rémy