Sciweavers

11436 search results - page 166 / 2288
» Modeling Real Reasoning
Sort
View
164
Voted
DATE
2002
IEEE
74views Hardware» more  DATE 2002»
16 years 11 days ago
Extending Synchronous Languages for Generating Abstract Real-Time Models
George Logothetis, Klaus Schneider
110
Voted
ICRA
2002
IEEE
76views Robotics» more  ICRA 2002»
16 years 10 days ago
Weak Models and Cue Integration for Real-Time Tracking
Danica Kragic, Henrik I. Christensen
CIKM
2001
Springer
15 years 12 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
122
Voted
ICRA
2000
IEEE
83views Robotics» more  ICRA 2000»
15 years 11 months ago
Using Model Checking to Guarantee Safety in Automatically-Synthesized Real-Time Controllers
David J. Musliner, Robert P. Goldman, Michael J. S...
176
Voted
RTAS
2000
IEEE
15 years 11 months ago
Scheduling Distributed Real-Time Tasks in the DGMF Model
Deji Chen, Aloysius K. Mok, Sanjoy K. Baruah