3073 search results - page 38 / 615 » Real World Verification |
PKDD
2004
Springer
14 years 29 days ago
2004
Springer
SAT
2004
Springer
14 years 29 days ago
2004
Springer
Abstract. During the recent years, the development of tools for deciding Quantified Boolean Formulas (QBFs) has been accompanied by a steady supply of real-world instances, i.e., ...
UCS
2004
Springer
14 years 29 days ago
2004
Springer
With the integration of cameras, mobile phones have evolved into networked personal image capture devices. Camera-phones can perform image processing tasks on the device itself an...
VR
2003
IEEE
14 years 27 days ago
2003
IEEE
We present a method that using only an uncalibrated camera allows the capture of object geometry and appearance, and then at a later stage registration and AR overlay into a new s...
PLDI
2003
ACM
14 years 26 days ago
2003
ACM
CCured is a program transformation system that adds memory safety guarantees to C programs by verifying statically that memory errors cannot occur and by inserting run-time checks...