Sciweavers

3136 search results - page 509 / 628
» Genetic programming theory
Sort
View
ANTSW
2008
Springer
15 years 8 months ago
Autonomous Reconfiguration in a Self-assembling Multi-robot System
Self-assembling multi-robot systems can, in theory, overcome the physical limitations of individual robots by connecting to each other to form particular physical structures (morph...
Rehan O'Grady, Anders Lyhne Christensen, Marco Dor...
CIE
2008
Springer
15 years 8 months ago
A Week-End Off: The First Extensive Number-Theoretical Computation on the ENIAC
The first extensive number-theoretical computation run on the world's first U.S. digital general-purpose electronic computer, the ENIAC, is reconstructed. The problem, computi...
Liesbeth De Mol, Maarten Bullynck
CANDC
2005
ACM
15 years 8 months ago
Computer art: a personal recollection
The story of some early computer art drawings in 1965 is told. It is a story of randomness. Computer art is viewed here as the programming of classes of aesthetic objects. In the ...
Frieder Nake
AAAI
2010
15 years 7 months ago
A Temporal Proof System for General Game Playing
A general game player is a system that understands the rules of unknown games and learns to play these games well without human intervention. A major challenge for research in Gen...
Michael Thielscher, Sebastian Voigt
IPCO
2010
174views Optimization» more  IPCO 2010»
15 years 7 months ago
On Lifting Integer Variables in Minimal Inequalities
This paper contributes to the theory of cutting planes for mixed integer linear programs (MILPs). Minimal valid inequalities are well understood for a relaxation of an MILP in tab...
Amitabh Basu, Manoel B. Campêlo, Michele Con...