3073 search results - page 38 / 615 » Real World Verification |
98
Voted
PKDD
2004
Springer
15 years 10 months ago
2004
Springer
138
click to vote
SAT
2004
Springer
15 years 10 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., ...
132
click to vote
UCS
2004
Springer
15 years 10 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...
165
Voted
VR
2003
IEEE
15 years 10 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...
147
click to vote
PLDI
2003
ACM
15 years 10 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...