331 search results - page 35 / 67 » Using Redundant Constraints for Refinement |
ICASSP
2011
IEEE
12 years 11 months ago
2011
IEEE
Quantizers are generally designed either for fixed-rate coding or variable-rate coding. Under common conditions, variable-rate quantization leads to the same mean distortion for ...
CADE
2002
Springer
14 years 8 months ago
2002
Springer
Abstract. We investigate the combination of propositional SAT checkers with domain-specific theorem provers as a foundation for bounded model checking over infinite domains. Given ...
3DPVT
2004
IEEE
13 years 11 months ago
2004
IEEE
This paper describes methods for segmenting planar surfaces from noisy 3D data obtained from correlation stereo vision. We make use of local planar surface elements called patchle...
ICCV
1995
IEEE
13 years 11 months ago
1995
IEEE
—We present a method to determine 3D motion and structure of multiple objects from two perspective views, using adaptive Hough transform. In our method, segmentation is determine...
ICCV
2007
IEEE
14 years 9 months ago
2007
IEEE
This paper develops an algorithm for estimating the epipole or direction of translation of a moving monocular observer. To this end, we use constraints arising from two points tha...