2811 search results - page 238 / 563 » Real-Time Component-Based Systems |
167
click to vote
FORMATS
2009
Springer
16 years 1 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...
178
click to vote
ICVS
2009
Springer
16 years 1 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...
156
click to vote
ISVC
2009
Springer
16 years 1 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...
188
click to vote
ROBOCUP
2009
Springer
16 years 1 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...
176
click to vote
RTSS
2008
IEEE
16 years 26 days 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...