Sciweavers

945 search results - page 38 / 189
» Evolving Symbolic Controllers
Sort
View
APN
2000
Springer
15 years 1 months ago
Efficient Symbolic State-Space Construction for Asynchronous Systems
Many techniques for the verification of reactive systems rely on the analysis of their reachable state spaces. In this paper, a new algorithm for the symbolic generation of the sta...
Gianfranco Ciardo, Gerald Lüttgen, Radu Simin...
HPCN
2000
Springer
15 years 1 months ago
A Service-Based Agent Framework for Distributed Symbolic Computation
We present OKEANOS, a distributed service-based agent framework implemented in Java, in which agents can act autonomously and make use of stationary services. Each agent's beh...
Ralf-Dieter Schimkat, Wolfgang Blochinger, Carsten...
GECCO
2003
Springer
15 years 2 months ago
Co-evolving Task-Dependent Visual Morphologies in Predator-Prey Experiments
Abstract. This article presents experiments that integrate competitive coevolution of neural robot controllers with ‘co-evolution’ of robot morphologies and control systems. Mo...
Gunnar Búason, Tom Ziemke
AHS
2006
IEEE
100views Hardware» more  AHS 2006»
15 years 3 months ago
Switchable Glass: A Possible Medium for Evolvable Hardware
The possibility of using switchable glass (also called smart windows) technology for Evolvable Hardware tasks is suggested in this paper. Switchable glass technology basically mea...
Mihai Oltean
IPPS
1999
IEEE
15 years 2 months ago
Leonardo and Discipulus Simplex: An Autonomous, Evolvable Six-Legged Walking Robot
Evolutionary systems based on genetic algorithms GAs are common nowadays. One of the recent uses of such systems is in the burgeoning eld of evolvable hardware which involves, amo...
Gilles Ritter, Jean-Michel Puiatti, Eduardo Sanche...