Sciweavers

1554 search results - page 91 / 311
» cases 2003
Sort
View
CONCUR
2003
Springer
15 years 3 months ago
Deciding Bisimilarity between BPA and BPP Processes
We identify a necessary condition for when a given BPP process can be expressed as a BPA process. We provide an effective procedure for testing if this condition holds of a given B...
Petr Jancar, Antonín Kucera, Faron Moller
ECAL
2003
Springer
15 years 3 months ago
Interaction Based Evolution of Self-Replicating Loop Structures
Abstract. We propose an ecosystem of self-replicating cellular automaton loops by designing new rules for interactions between individual loops. The loops interact competitively wi...
Keisuke Suzuki, Takashi Ikegami
EMSOFT
2003
Springer
15 years 3 months ago
Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment
Abstract. We propose a mathematical framework to deal with the composition of heterogeneous reactive systems. Our theory allows to establish theorems, from which design techniques ...
Albert Benveniste, Luca P. Carloni, Paul Caspi, Al...
EVOW
2003
Springer
15 years 3 months ago
The Emergence of Social Learning in Artificial Societies
The most recent advances of artificial life research are opening up a new frontier: the creation of simulated life environments populated by autonomous agents. In several cases a n...
Mauro Annunziato, Piero Pierucci
EVOW
2003
Springer
15 years 3 months ago
Exploring the T-Maze: Evolving Learning-Like Robot Behaviors Using CTRNNs
Abstract. This paper explores the capabilities of continuous time recurrent neural networks (CTRNNs) to display reinforcement learning-like abilities on a set of T-Maze and double ...
Jesper Blynel, Dario Floreano