Sciweavers

2317 search results - page 87 / 464
» Model based testing for agent systems
Sort
View
PROMAS
2005
Springer
15 years 8 months ago
A Model-Based Executive for Commanding Robot Teams
The paper presents a way to robustly command a system of systems as a single entity. Instead of modeling each component system in isolation and then manually crafting interaction p...
Anthony Barrett
145
Voted
CRV
2005
IEEE
208views Robotics» more  CRV 2005»
15 years 9 months ago
Topology Inference for a Vision-Based Sensor Network
In this paper we describe a technique to infer the topology and connectivity information of a network of cameras based on observed motion in the environment. While the technique c...
Dimitri Marinakis, Gregory Dudek
ICST
2009
IEEE
15 years 1 months ago
Putting Formal Specifications under the Magnifying Glass: Model-based Testing for Validation
A software development process is conceptually an abstract form of model transformation, starting from an enduser model of requirements, through to a system model for which code c...
Emine G. Aydal, Richard F. Paige, Mark Utting, Jim...
ATAL
1995
Springer
15 years 6 months ago
The Architecture of an Agent Building Shell
The agent view provides maybe the right level of abstraction for dealing with complex, distribblem-solving systems. It abstracts from aspects like the hardware or software platfor...
Mihai Barbuceanu, Mark S. Fox
AIME
2009
Springer
15 years 10 months ago
An Ambient Intelligent Agent for Relapse and Recurrence Monitoring in Unipolar Depression
: Mental healthcare is a prospective area for applying AI techniques. For example, a computerized system could support individuals with a history of depression in maintaining their...
Azizi Ab Aziz, Michel C. A. Klein, Jan Treur