Sciweavers

3765 search results - page 94 / 753
» Qualitative Action Systems
Sort
View
AAAI
2000
13 years 11 months ago
A Method for Clustering the Experiences of a Mobile Robot that Accords with Human Judgments
If robotic agents are to act autonomously they must have the ability to construct and reason about models of their physical environment. For example, planning to achieve goals req...
Tim Oates, Matthew D. Schmill, Paul R. Cohen
CORR
2010
Springer
111views Education» more  CORR 2010»
13 years 10 months ago
Directional Dynamics along Arbitrary Curves in Cellular Automata
This paper studies directional dynamics in cellular automata, a formalism previously introduced by the third author. The central idea is to study the dynamical behaviour of a cell...
Martin Delacourt, Victor Poupet, Mathieu Sablik, G...
FUIN
2000
76views more  FUIN 2000»
13 years 9 months ago
A Foundation for Refining Concurrent Objects
We study the notion of class refinement in a concurrent object-oriented setting. Our model is based on a combination of action systems and classes. An action system describes the b...
Martin Büchi, Emil Sekerinski
IWFM
2003
104views Formal Methods» more  IWFM 2003»
13 years 11 months ago
Stepwise Development of Peer-to-Peer Systems
Peer-to-peer systems like Napster, Gnutella and Kazaa have recently become popular for sharing information. In this paper, we show how to design peer-to-peer systems within the ac...
Lu Yan, Kaisa Sere
CEEMAS
2001
Springer
14 years 2 months ago
A Programming Language for Coordinating Group Actions
Abstract. Coordination and cooperation are crucial notions in multi-agent systems. We provide a constraint programming language called GrAPL, with facilities for group communicatio...
Wieke de Vries, Frank S. de Boer, Koen V. Hindriks...