Sciweavers

14360 search results - page 149 / 2872
» Time Modeling in MARTE
Sort
View
ICRA
2002
IEEE
76views Robotics» more  ICRA 2002»
15 years 11 months ago
Weak Models and Cue Integration for Real-Time Tracking
Danica Kragic, Henrik I. Christensen
CIKM
2001
Springer
15 years 10 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
146
Voted
SEQLEARN
2001
Springer
216views Algorithms» more  SEQLEARN 2001»
15 years 10 months ago
Time in Connectionist Models
Jean-Cédric Chappelier, Marco Gori, Alain G...
TACAS
2001
Springer
111views Algorithms» more  TACAS 2001»
15 years 10 months ago
Linear Parametric Model Checking of Timed Automata
Thomas Hune, Judi Romijn, Mariëlle Stoelinga,...
ICRA
2000
IEEE
83views Robotics» more  ICRA 2000»
15 years 10 months ago
Using Model Checking to Guarantee Safety in Automatically-Synthesized Real-Time Controllers
David J. Musliner, Robert P. Goldman, Michael J. S...