Sciweavers

9697 search results - page 435 / 1940
» Intelligent Transportation Systems
Sort
View
ECAI
2004
Springer
15 years 10 months ago
Many Hands Make Light Work: Localized Satisfiability for Multi-Context Systems
In this paper, we tackle the satisfiability problem for multi-context systems. First, we establish a satisfiability algorithm based on an encoding into propositional logic. Then, w...
Floris Roelofsen, Luciano Serafini, Alessandro Cim...
191
Voted
CIA
2006
Springer
15 years 10 months ago
Specifying Protocols for Knowledge Transfer and Action Restriction in Multiagent Systems
In this paper we present the MAPa language for expressing knowledge transfer and action restriction between agents in multiagent systems. Our approach is founded on the definition ...
María Adela Grando, Christopher D. Walton
AAAI
2007
15 years 9 months ago
The UBC Semantic Robot Vision System
This report describes the robot, Curious George, that took part in, and won, the robot league of the 2007 Semantic Robot Vision Challenge (SRVC), held at the AAAI’07 conference ...
Scott Helmer, David Meger, Per-Erik Forssén...
FLAIRS
2007
15 years 9 months ago
A Case Elaboration Methodology for a Diagnostic and Repair Help System Based on CBR
Although the elaboration of the case representation is the key problem of the case-based reasoning system conception, there exists no proven methodology targeted to this task. Thi...
Ivana Rasovska, Brigitte Chebel-Morello, Noureddin...
ICIA
2007
15 years 9 months ago
An Adaptive, Emotional, and Expressive Reminding System
We are currently developing an adaptive, emotional, and expressive interface agent, which learns when and how to notify users about self-assigned tasks and events. In this paper, ...
Nadine Richard, Seiji Yamada