Sciweavers

2275 search results - page 309 / 455
» Object Evolution by Model Evolution
Sort
View
ICRA
2005
IEEE
111views Robotics» more  ICRA 2005»
14 years 2 months ago
Mimicry of Sharp Turning Behaviours in a Robotic Fish
- In nature, fish has astonishing swimming ability after thousands years of evolution. To realise fish-like swimming behaviours by a robotic system poses tremendous challenges, esp...
Jindong Liu, Huosheng Hu
LICS
2005
IEEE
14 years 2 months ago
Certifying Compilation for a Language with Stack Allocation
This paper describes an assembly-language type system capable of ensuring memory safety in the presence of both heap and stack allocation. The type system uses linear logic and a ...
Limin Jia, Frances Spalding, David Walker, Neal Gl...
ECAL
2005
Springer
14 years 2 months ago
CelloS: A Multi-level Approach to Evolutionary Dynamics
We study the evolution of simple cells that are equipped with a genome, a rudimentary gene regulation network at transcription level and two classes of functional genes: motion eï¬...
Camille Stephan-Otto Attolini, Peter F. Stadler, C...
GECCO
2005
Springer
142views Optimization» more  GECCO 2005»
14 years 2 months ago
Choreogenetics: the generation of choreographic variants through genetic mutations and selection
In this paper, a genetic algorithm is introduced to generate variants of a choreographic sequence, which are then selected using different criteria. The mutation phase of the algo...
François-Joseph Lapointe
SOCO
2005
Springer
14 years 2 months ago
On the Revival of Dynamic Languages
The programming languages of today are stuck in a deep rut that has developed over the past 50 years. Although we are faced with new challenges posed by enormous advances in hardwa...
Oscar Nierstrasz, Alexandre Bergel, Marcus Denker,...