2846 search results - page 40 / 570 » Real World Teleconferencing |
SAT
2004
Springer
14 years 2 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 2 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 2 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
14 years 2 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...
DIGITALCITIES
2003
Springer
14 years 1 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...