8828 search results - page 1580 / 1766 » Formal methods in practice |
155
click to vote
CVPR
2005
IEEE
16 years 6 months ago
2005
IEEE
Projection systems can be used to implement augmented reality, as well as to create both displays and interfaces on ordinary surfaces. Ordinary surfaces have varying reflectance, ...
150
click to vote
ECCV
2002
Springer
16 years 6 months ago
2002
Springer
Estimating geometric structure from uncalibrated images accurately enough for high quality rendering is difficult. We present a method where only coarse geometric structure is trac...
131
click to vote
ICIP
2005
IEEE
16 years 6 months ago
2005
IEEE
Copyright 2005 IEEE. Published in the 2005 International Conference on Image Processing (ICIP-2005), September 11-14, 2005, Genoa, Italy. Personal use of this material is permitte...
250
click to vote
ICDE
2006
IEEE
16 years 5 months ago
2006
IEEE
Graph reachability is fundamental to a wide range of applications, including XML indexing, geographic navigation, Internet routing, ontology queries based on RDF/OWL, etc. Many ap...
141
click to vote
VIS
2003
IEEE
16 years 5 months ago
2003
IEEE
Traditional volume visualization techniques may provide incomplete clinical information needed for many applications in medical visualization. Especially in the area of vascular v...