40 search results - page 3 / 8 » Abstraction and Completeness for Real-Time Maude |
ICALP
1998
Springer
15 years 1 months ago
1998
Springer
This paper investigates the use of a complete metric space framework for providing denotational semantics to a real-time process algebra. The study is carried out in a non-interlea...
STACS
2005
Springer
15 years 2 months ago
2005
Springer
Abstract. It is well known that one-dimensional cellular automata working on the usual neighborhood are Turing complete, and many acceleration theorems are known. However very litt...
104
click to vote
PODC
1990
ACM
15 years 1 months ago
1990
ACM
Abstract. We introduce a novel extension of propositional modal logic that is interpreted over Kripke structures in which a value is associated with every possible world. These val...
DAGM
2009
Springer
15 years 4 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...
ICCV
2007
IEEE
15 years 3 months ago
2007
IEEE
Abstract. We present a completely autonomous algorithm for the real-time creation of a moving subject’s kinematic model from optical motion capture data and with no a priori info...