5639 search results - page 118 / 1128 » Timed Abstract Non-interference |
102
click to vote
DAGM
2009
Springer
15 years 8 months 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...
111
Voted
FORMATS
2009
Springer
15 years 8 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...
113
Voted
ICVS
2009
Springer
15 years 8 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...
100
click to vote
LOPSTR
2009
Springer
15 years 8 months 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...
126
click to vote
LOPSTR
2009
Springer
15 years 8 months 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 ...