Sciweavers

4597 search results - page 40 / 920
» The Spider Model of Agents
Sort
View
PRIMA
2009
Springer
14 years 5 months ago
An Adaptive Human-Aware Software Agent Supporting Attention-Demanding Tasks
This paper presents a human-aware software agent to support a human performing a task that demands substantial amounts of attention. The agent obtains human awareness in an adaptiv...
Tibor Bosse, Zulfiqar A. Memon, Jan Treur, Muhamma...
ATAL
2008
Springer
14 years 17 days ago
Model-checking agent refinement
We present a proof-technique for reducing the nondeterminbstract agent specifications in a BDI framework by means of refinement. We implement the operational semantics of agent sp...
Lacramioara Astefanoaei, Frank S. de Boer
IAT
2008
IEEE
14 years 5 months ago
When the User Is Instrumental to Robot Goals: First Try - Agent Uses Agent
To create a robot with a mind of its own, we extended a formalized version of a model that explains affect-driven interaction with mechanisms for goaldirected behavior. We ran sim...
Johan F. Hoorn, Matthijs Pontier, Ghazanfar F. Sid...
CAISE
2003
Springer
14 years 3 months ago
Modeling Probe-Agent Distributed System by Goal-oriented Approach
We propose a kind of agent called probe-agent, which is responsible to collect and monitor the data and information according to its goals. On the other hand, it can summarize the ...
Yun Lin, Hao Ding
ATAL
2009
Springer
14 years 5 months ago
Model based testing for agent systems
Zhiyong Zhang, John Thangarajah, Lin Padgham