7820 search results - page 253 / 1564 » Formalization of Time and Space |
171
click to vote
FM
2008
Springer
15 years 8 months ago
2008
Springer
We focus on synthesis techniques for transforming existing fault-intolerant real-time programs to fault-tolerant programs that provide phased recovery. A fault-tolerant program is ...
218
click to vote
AAAI
2008
15 years 9 months ago
2008
In order to interact successfully in social situations, a robot must be able to observe others' actions and base its own behavior on its beliefs about their intentions. Many ...
191
click to vote
FORMATS
2005
Springer
16 years 23 days ago
2005
Springer
This paper attempts to improve our understanding of timed languages and their relation to timed automata. We start by giving a constructive proof of the folk theorem stating that t...
184
click to vote
FORMATS
2003
Springer
16 years 14 days ago
2003
Springer
In this paper we report some progress in applying timed automata technology to large-scale problems. We focus on the problem of finding maximal stabilization time for combinationa...
201
click to vote
WACV
2005
IEEE
16 years 25 days ago
2005
IEEE
We describe a system that detects independently moving objects from a mobile platform in real time using a calibrated stereo camera. Interest points are first detected and tracke...