3073 search results - page 221 / 615 » Real World Verification |
160
Voted
PLDI
2010
ACM
15 years 10 months ago
2010
ACM
Verified compilers, such as Leroy's CompCert, are accompanied by a fully checked correctness proof. Both the compiler and proof are often constructed with an interactive proo...
186
click to vote
SIGGRAPH
1997
ACM
15 years 10 months ago
1997
ACM
Manipulation in immersive virtual environments is difficult partly because users must do without the haptic contact with real objects they rely on in the real world to orient them...
192
click to vote
TVCG
2012
13 years 8 months ago
2012
—Motion perception in immersive virtual environments significantly differs from the real world. For example, previous work has shown that users tend to underestimate travel dista...
179
click to vote
ICCV
2001
IEEE
16 years 8 months ago
2001
IEEE
In this paper, we propose a method for generating realistic shadows of virtual objects inserted into a real video sequence. Our aim is to improve and extend the work of [1], which...
195
click to vote
SIGMOD
2004
ACM
16 years 6 months ago
2004
ACM
We are inevitably moving into a realm where small and inexpensive wireless devices would be seamlessly embedded in the physical world and form a wireless sensor network in order t...