9210 search results - page 245 / 1842 » Analyzing Real-Time Systems |
130
click to vote
FORMATS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We study the realizability problem for specifications of reactive systems expressed in real-time linear temporal logics. The logics we consider are subsets of MITL (Metr...
137
Voted
ICVS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We present a real-time approach for traversable surface detection using a low-cost monocular camera mounted on an autonomous vehicle. The proposed methodology extracts co...
113
Voted
ISVC
2009
Springer
15 years 10 months ago
2009
Springer
This paper presents a method to add fine details, such as wrinkles and bulges, on a virtual face animated by common skinning techniques. Our system is based on a small set of refe...
140
click to vote
ROBOCUP
2009
Springer
15 years 10 months ago
2009
Springer
In this article a method is proposed for ball tracking using 100 Hz computer vision in a semi-automated foosball table. In this application the behavior of the ball is highly dynam...
130
Voted
RTSS
2008
IEEE
15 years 10 months ago
2008
IEEE
Multicore platforms are predicted to become significantly larger in the coming years. Given that real-time workloads will inevitably be deployed on such platforms, the scalabilit...