1363 search results - page 55 / 273 » On some Relations between Dynamical Systems and Transition S... |
HYBRID
2007
Springer
15 years 1 months ago
2007
Springer
We show how Embedded Graph Grammars (EGGs) are used to specify local interaction rules between mobile robots in a natural manner. This formalism allows us to treat local network to...
ICMCS
2006
IEEE
15 years 3 months ago
2006
IEEE
This paper proposes a new approach for the human motion analysis. The main contribution comes from the proposed representation of the human body. Most of already existing systems ...
FOSSACS
2007
Springer
15 years 3 months ago
2007
Springer
ATL is a temporal logic geared towards the specification and verification of properties in multi-agents systems. It allows to reason on the existence of strategies for coalitions...
OSS
2007
Springer
15 years 3 months ago
2007
Springer
Some free software and open source projects have been extremely successful in the past. The success of a project is often related to the number of developers it can attract: a larg...
GECCO
2006
Springer
15 years 1 months ago
2006
Springer
In this study, we investigate self-organizing social hierarchies in multi-agent systems. Agents occupy the nodes of a smallworld network and interact exclusively with other agents...