3742 search results - page 385 / 749 » On the Use of Formal Techniques for Validation |
173
click to vote
JLP
2000
15 years 6 months ago
2000
In 1969 Cordell Green presented his seminal description of planning as theorem proving with the situation calculus. The most pleasing feature of Green's account was the negli...
202
click to vote
VR
2010
IEEE
15 years 5 months ago
2010
IEEE
We present a technique for exploiting change blindness to allow the user to walk through an immersive virtual environment that is much larger than the available physical workspace...
380
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...
203
click to vote
OSDI
2008
ACM
16 years 7 months ago
2008
ACM
Previous work showed that statistical analysis techniques could successfully be used to construct compact signatures of distinct operational problems in Internet server systems. B...
170
click to vote
POPL
2009
ACM
16 years 1 months ago
2009
ACM
Speculative execution is an important technique that has historically been used to extract concurrency from sequential programs. While techniques to support speculation work well ...