1980 search results - page 152 / 396 » Compositional Model Checking of Real Time Systems |
145
Voted
ISM
2008
IEEE
2008
IEEE
A Framework for Collaborative Real-Time 3D Teleimmersion in a Geographically Distributed Environment
15 years 8 months 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...
143
click to vote
PODC
1990
ACM
15 years 5 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...
130
click to vote
PAMI
2007
15 years 1 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,...
122
click to vote
ICCV
2001
IEEE
16 years 3 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...
130
click to vote
ISORC
2005
IEEE
15 years 7 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-...