Sciweavers

3073 search results - page 75 / 615
» Real World Verification
Sort
View
CHI
2008
ACM
14 years 8 months ago
The disappearing desktop: pim 2008
In an ideal world, we would always have the right information, in the right form, with the right context, right when we needed it. Unfortunately, we do not live in an ideal world....
Jaime Teevan, William Jones
FPL
1999
Springer
103views Hardware» more  FPL 1999»
14 years 5 hour ago
IP Validation for FPGAs Using Hardware Object Technology
Although verification and simulation tools are always improving, the results they provide remain hard to analyze and interpret. On one hand, verification sticks to the functional ...
Steve Casselman, John Schewel, Christophe Beaumont
ICAPR
2009
Springer
14 years 10 days ago
Eigen-domain Relighting of Face Images for Illumination-invariant Face Verification
In this paper, we propose a method to exploit the uniqueness in the illumination variations on the face image of a subject for face verification. Using the 3D wireframe model of a...
Vinod Pathangay, Sukhendu Das
FORMATS
2010
Springer
13 years 5 months ago
A Framework for Verification of Software with Time and Probabilities
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...
Marta Z. Kwiatkowska, Gethin Norman, David Parker
SI3D
2003
ACM
14 years 29 days ago
Incorporating dynamic real objects into immersive virtual environments
We present algorithms that enable virtual objects to interact with and respond to virtual representations, avatars, of real objects. These techniques allow dynamic real objects, s...
Benjamin Lok, Samir Naik, Mary C. Whitton, Frederi...