5639 search results - page 118 / 1128 » Timed Abstract Non-interference |
174
click to vote
DAGM
2009
Springer
16 years 27 days ago
2009
Springer
Abstract. We present an approach to compute the visual hulls of multiple people in real-time in the presence of occlusions. We prove that the resulting visual hulls are correct and...
165
click to vote
FORMATS
2009
Springer
16 years 27 days 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...
174
click to vote
ICVS
2009
Springer
16 years 27 days 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...
161
click to vote
LOPSTR
2009
Springer
16 years 26 days ago
2009
Springer
Abstract. We introduce a just-in-time specializer for Prolog. Just-intime specialization attempts to unify of the concepts and benefits of partial evaluation (PE) and just-in-time...
186
click to vote
LOPSTR
2009
Springer
16 years 26 days ago
2009
Springer
Abstract. We present a method based on logic program transformation, for verifying Computation Tree Logic (CTL∗ ) properties of finite state reactive systems. The finite state ...