2827 search results - page 44 / 566 » CCured in the real world |
SAT
2004
Springer
14 years 3 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
14 years 3 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...
VR
2003
IEEE
14 years 3 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...
DIGITALCITIES
2003
Springer
14 years 3 months ago
2003
Springer
In this paper, we present the evacuation simulation system that is the combination of a virtual city and a crisis management simulation. The system allows users to become virtual e...
ICES
2003
Springer
14 years 3 months ago
2003
Springer