Sciweavers

2655 search results - page 240 / 531
» An agent model for fault-tolerant systems
Sort
View
DALT
2010
Springer
15 years 1 months ago
Executing Specifications of Social Reasoning Agents
Social reasoning theories, whilst studied extensively in the area of multiagent systems, are hard to implement directly in agents. They often specify properties of beliefs or behav...
Iain Wallace, Michael Rovatsos
WWW
2001
ACM
16 years 7 months ago
Integrating Software Agents into the HTTP Caching Infrastructure
Mobile software agents are an increasingly important programming model within the World Wide Web (WWW). Typically programmed in Java or another machine- independent language, the ...
Jesse Greenwald, Daniel Andresen
ATAL
2004
Springer
15 years 10 months ago
State-Space Reduction Techniques in Agent Verification
We have developed a set of tools to allow the use of model-checking techniques for the verification of systems directly implemented in an agent-oriented programming language. The ...
Rafael H. Bordini, Michael Fisher, Willem Visser, ...
EUC
2005
Springer
16 years 4 days ago
A World Model for Smart Spaces
A world model for ubiquitous computing environments is presented. It can be dynamically organized like a tree based on geographical containment, such as in a user-room-floor-build...
Ichiro Satoh
AAAI
2010
15 years 7 months ago
Task Space Behavior Learning for Humanoid Robots using Gaussian Mixture Models
In this paper a system was developed for robot behavior acquisition using kinesthetic demonstrations. It enables a humanoid robot to imitate constrained reaching gestures directed...
Kaushik Subramanian