Sciweavers

3787 search results - page 267 / 758
» The Use of Agents Techniques on Intelligent Tutoring Systems
Sort
View
EMSOFT
2007
Springer
15 years 10 months ago
Verification of device drivers and intelligent controllers: a case study
The soundness of device drivers generally cannot be verified in isolation, but has to take into account the reactions of the hardware devices. In critical embedded systems, interf...
David Monniaux
ATAL
2005
Springer
16 years 6 days ago
Coordination and composition in multi-agent systems
In this paper we describe a channel-based exogenous coordination language, called Reo, and discuss its application to multi-agent systems. Reo supports a specific notion of compo...
Mehdi Dastani, Farhad Arbab, Frank S. de Boer
158
Voted
ICRA
2007
IEEE
117views Robotics» more  ICRA 2007»
16 years 1 months ago
Techniques and Applications for Persistent Backgrounding in a Humanoid Torso Robot
— One of the most basic capabilities for an agent with a vision system is to recognize its own surroundings. Yet surprisingly, despite the ease of doing so, many robots store lit...
David Walker Duhon, Jerod J. Weinman, Erik G. Lear...
E4MAS
2005
Springer
16 years 6 days ago
Grounding Social Interactions in the Environment
Abstract. While agents and environments are two intimately connected concepts, most approaches for multi-agent development focus on the agent-specific part of the system, whereas ...
Florian Klein, Holger Giese
AI
2000
Springer
15 years 6 months ago
Model-based reasoning about learner behaviour
Automated handling of tutoring and training functions in educational systems requires the availability of articulate domain models. In this article we further develop the applicat...
Kees de Koning, Bert Bredeweg, Joost Breuker, Bob ...