169 search results - page 16 / 34 » From Operating-System Correctness to Pervasively Verified Ap... |
CVPR
2005
IEEE
15 years 13 days ago
2005
IEEE
During the Mars Exploration Rovers (MER) landings, the Descent Image Motion Estimation System (DIMES) was used for horizontal velocity estimation. The DIMES algorithm combines mea...
UIC
2010
Springer
13 years 8 months ago
2010
Springer
Interdisciplinary research from the domains of pervasive computing or ubiquitous computing, computer-human-interaction and computer science has led to the development of many intel...
MOBISYS
2003
ACM
14 years 10 months ago
2003
ACM
3], in that it integrates a service-oriented abstraction with the operating system socket interface and provides adaptive service access at the end-host session layer. However, our...
3DIM
2001
IEEE
14 years 2 months ago
2001
IEEE
In this paper, we present a method for automatically creating a 3D model of a scene from a set of range images obtained from unknown viewpoints. Existing 3D modeling approaches re...
DAGSTUHL
2003
13 years 11 months ago
2003
Abstract. The continuing trend towards more sophisticated technical applications results in an increasing demand for high quality software for complex, safety-critical systems. Des...