Sciweavers

1554 search results - page 91 / 311
» cases 2003
Sort
View
CONCUR
2003
Springer
15 years 10 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
133
Voted
ECAL
2003
Springer
15 years 10 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
138
Voted
EMSOFT
2003
Springer
15 years 10 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...
140
Voted
EVOW
2003
Springer
15 years 10 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 10 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