Sciweavers

206 search results - page 10 / 42
» On the Formal Structure of Continuous Action
Sort
View
IWPC
1996
IEEE
13 years 11 months ago
A Formal Architectural Design Patterns-Based Approach to Software Understanding
Mastering the complexity of programs and systems, particularly distributed systems, should lead to signi cant improvements in program and system understanding. In this paper we pr...
Paulo S. C. Alencar, Donald D. Cowan, Thomas Kunz,...
GEOS
2007
Springer
14 years 1 months ago
A Location and Action-Based Model for Route Descriptions
Abstract. Representing human spatial knowledge has long been a challenging research area. The objective of this paper is to model a route description of human navigation where verb...
David Brosset, Christophe Claramunt, Eric Saux
ATAL
2007
Springer
14 years 1 months ago
Matrix-based representation for coordination fault detection: a formal approach
Teamwork requires that team members coordinate their actions. The representation of the coordination is a key requirement since it influences the complexity and flexibility of r...
Meir Kalech, Michael Lindner, Gal A. Kaminka
WIA
2000
Springer
13 years 11 months ago
Solving Complex Problems Efficiently with Adaptive Automata
- Adaptive technologies are based on the self-modifying property of some systems, which give their users a very powerful and convenient facility for expressing and handling complex...
João José Neto
AAAI
2007
13 years 9 months ago
Autonomous Development of a Grounded Object Ontology by a Learning Robot
We describe how a physical robot can learn about objects from its own autonomous experience in the continuous world. The robot identifies statistical regularities that allow it t...
Joseph Modayil, Benjamin Kuipers