Sciweavers

3718 search results - page 211 / 744
» Programming by Integration in Robotics
Sort
View
GECCO
2009
Springer
142views Optimization» more  GECCO 2009»
15 years 11 months ago
Evolution, development and learning using self-modifying cartesian genetic programming
Self-Modifying Cartesian Genetic Programming (SMCGP) is a form of genetic programming that integrates developmental (self-modifying) features as a genotype-phenotype mapping. This...
Simon Harding, Julian Francis Miller, Wolfgang Ban...
GECCO
2005
Springer
141views Optimization» more  GECCO 2005»
16 years 3 days 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...
ICMCS
2005
IEEE
93views Multimedia» more  ICMCS 2005»
16 years 6 days ago
WA-TV: Webifying and Augmenting Broadcast Content for Next-Generation Storage TV
A method is proposed for viewing broadcast content that converts TV programs into Web content and integrates the results with complementary information retrieved using the Interne...
Hisashi Miyamori, Qiang Ma, Katsumi Tanaka
ENTCS
2007
86views more  ENTCS 2007»
15 years 6 months ago
Tool Support for Proof Engineering
Modern integrated development environments (IDEs) provide programmers with a variety of sophisticated tools for program visualization and manipulation. These tools assist the prog...
Anne Mulhern, Charles Fischer, Ben Liblit
AAIM
2009
Springer
101views Algorithms» more  AAIM 2009»
16 years 1 months ago
Integer Polyhedra for Program Analysis
Polyhedra are widely used in model checking and abstract interpretation. Polyhedral analysis is effective when the relationships between variables are linear, but suffers from im...
Philip J. Charles, Jacob M. Howe, Andy King