3073 search results - page 101 / 615 » Real World Verification |
ENTCS
2002
13 years 8 months ago
2002
The MaC system has been developed to provide assurance that a target program is running correctly with respect to formal requirements specification. This is achieved by monitoring...
APGV
2010
ACM
14 years 4 days ago
2010
ACM
People underestimate egocentric distances in head-mounted display virtual environments, as compared to estimates done in the real world. Our work investigates whether distances ar...
CVPR
2004
IEEE
14 years 11 months ago
2004
IEEE
The problem of deciding whether two pixels in an image have the same real world color is a fundamental problem in computer vision. Many color spaces are used in different applicat...
TEI
2010
ACM
14 years 3 months ago
2010
ACM
We propose a novel ball-type input/output (I/O) device—the ChameleonBall—that allows users to interact with colors in the real world. The ChameleonBall mainly consists of mult...
EUSAI
2007
Springer
14 years 3 months ago
2007
Springer
Localization technologies have been an important focus in ubiquitous computing. This paper explores an underrepresented area, namely computer vision technology, for outdoor positio...