950 search results - page 123 / 190 » visualization 2003 |
ICCV
2003
IEEE
14 years 12 months ago
2003
IEEE
We present an novel algorithm that reconstructs voxels of a general 3D specular surface from multiple images of a calibrated camera. A calibrated scene (i.e. points whose 3D coord...
ICSE
2003
IEEE-ACM
14 years 10 months ago
2003
IEEE-ACM
We show how the state space exploration tool VeriSoft can be used to analyze parallel C/C++ programs compositionally. VeriSoft is used to check assume/guarantee specifications of ...
CAEPIA
2003
Springer
14 years 3 months ago
2003
Springer
Abstract. In recent years, particle filters have emerged as a useful tool that enables the application of Bayesian reasoning to problems requiring dynamic state estimation. The ef...
WISE
2003
Springer
14 years 3 months ago
2003
Springer
XQuery, the standard query language for XML, is increasingly popular among computer scientists with a SQL background, since queries in XQuery and SQL require comparable skills to ...
HUC
2003
Springer
14 years 3 months ago
2003
Springer
Traditional techniques for balancing privacy and awareness in video media spaces, like blur filtration, have been proven to be ineffective for compromising home situations involvin...