6306 search results - page 285 / 1262 » Space, Time, and the Use of Language |
188
click to vote
FORMATS
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Quantitative verification techniques are able to establish system properties such as "the probability of an airbag failing to deploy on demand" or "the exp...
412
click to vote
Publication
A hand-held surgical probe is an essential component of any image-guided neurosurgery
(IGNS). During the surgical procedure, the IGNS tracks the probe position and displays the an...
380
click to vote
Presentation
A hand-held surgical probe is an essential component of any image-guided neurosurgery (IGNS). During the surgical procedure, the IGNS tracks the probe position and displays the ana...
229
click to vote
ISM
2008
IEEE
2008
IEEE
A Framework for Collaborative Real-Time 3D Teleimmersion in a Geographically Distributed Environment
16 years 1 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...
186
click to vote
ECRTS
2007
IEEE
16 years 1 months ago
2007
IEEE
Conventionally, the use of virtual memory in real-time systems has been avoided, the main reason being the difficulties it provides to timing analysis. However, there is a trend ...