Sciweavers

11436 search results - page 166 / 2288
» Modeling Real Reasoning
Sort
View
ICRA
2002
IEEE
76views Robotics» more  ICRA 2002»
15 years 8 months ago
Weak Models and Cue Integration for Real-Time Tracking
Danica Kragic, Henrik I. Christensen
CIKM
2001
Springer
15 years 7 months ago
Real Time User Context Modeling for Information Retrieval Agents
The success of personal information agents depends on their ability to provide task-relevant information. This paper presents WordSieve, a new algorithm that generates context des...
Travis Bauer, David B. Leake
ICRA
2000
IEEE
83views Robotics» more  ICRA 2000»
15 years 7 months ago
Using Model Checking to Guarantee Safety in Automatically-Synthesized Real-Time Controllers
David J. Musliner, Robert P. Goldman, Michael J. S...
RTAS
2000
IEEE
15 years 7 months ago
Scheduling Distributed Real-Time Tasks in the DGMF Model
Deji Chen, Aloysius K. Mok, Sanjoy K. Baruah