3073 search results - page 38 / 615 » Real World Verification |
PKDD
2004
Springer
15 years 5 months ago
2004
Springer
SAT
2004
Springer
15 years 5 months 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
15 years 5 months 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...
107
click to vote
VR
2003
IEEE
15 years 5 months 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
15 years 5 months 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...