1980 search results - page 152 / 396 » Compositional Model Checking of Real Time Systems |
197
click to vote
ISM
2008
IEEE
2008
IEEE
A Framework for Collaborative Real-Time 3D Teleimmersion in a Geographically Distributed Environment
16 years 23 days ago
In this paper, we present a framework for immersive 3D video conferencing and geographically distributed collaboration. Our multi-camera system performs a full-body 3D reconstruct...
202
click to vote
PODC
1990
ACM
15 years 10 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...
182
click to vote
PAMI
2007
15 years 5 months ago
2007
—We present a real-time algorithm which can recover the 3D trajectory of a monocular camera, moving rapidly through a previously unknown scene. Our system, which we dub MonoSLAM,...
183
click to vote
ICCV
2001
IEEE
16 years 8 months ago
2001
IEEE
This paper presents a novel approach for model-based realtime tracking of highly articulated structures such as humans. This approach is based on an algorithm which efficiently pr...
186
click to vote
ISORC
2005
IEEE
15 years 12 months ago
2005
IEEE
One of the problems with Java for real-time systems is the unpredictable behavior of garbage collection (GC). GC introduces unexpected load and causes undesirable delays for real-...