1026 search results - page 135 / 206 » A Methodology for Equational Reasoning |
GECCO
2008
Springer
13 years 10 months ago
2008
Springer
Self-adaptation is used a lot in Evolutionary Strategies and with great success, yet for some reason it is not the mutation adaptation of choice for Genetic Algorithms. This poste...
GECCO
2008
Springer
13 years 10 months ago
2008
Springer
This paper demonstrates the effectiveness of genetic algorithms in training stable behavior in a model of the spinoneuromuscular system (SNMS). In particular, we test the stabili...
BIOINFORMATICS
2007
13 years 9 months ago
2007
The formal representation of mereological aspects of canonical anatomy (parthood relations) is relatively well understood. The formal representation of other aspects of canonical ...
CORR
2006
Springer
13 years 9 months ago
2006
Springer
The design of complex Systems-on-Chips implies to take into account communication and memory access constraints for the integration of dedicated hardware accelerator. In this paper...
IVC
2008
13 years 9 months ago
2008
Complex scenes such as underground stations and malls are composed of static occlusion structures such as walls, entrances, columns, turnstiles and barriers. Unless this occlusion...