A first order predicate logic formulation of the 3D reconstruction problem and its solution space

International Journal of Pattern Recognition and Artificial Intelligence

Volumn 19, Issue 1, 2005, Pages 45-62

  Robinson, Martin ^a   Kubik, Kurt ^a   Lovell, Brian ^a  

^a UNIVERSITY OF QUEENSLAND   (Australia)

Author keywords

3D reconstruction; Logic; Solution space; Uniqueness; Voxels

Indexed keywords

ALGORITHMS; CONSTRAINT THEORY; FORMAL LOGIC; LIQUID CRYSTAL DISPLAYS; MATHEMATICAL TRANSFORMATIONS; PROBLEM SOLVING; THREE DIMENSIONAL; VISION;

PREDICATE LOGIC; SOLUTION SPACE; THREE DIMENSIONAL (3D) RECONSTRUCTION; UNIQUENESS; VOXELS;

IMAGE RECONSTRUCTION;

EID: 13844272580     PISSN: 02180014     EISSN: None     Source Type: Journal    
DOI: 10.1142/S0218001405003910     Document Type: Article

References (18)

1. S. Baker, T. Sim and T. Kanade, When is the shape of a scene unique given its light-field: a fundamental theorem of 3d vision, IEEE Trans. Patt. Anal. Mach. Intell. 25(1) (2003).
2. A. F. Bobick and S. S. Intille, Large occlusion stereo, IJCV 33(3) (1999).
3. W. B. Culbertson, T. Malzbender and G. G. Slabaugh, Generalized voxel coloring, Workshop on Vision Algorithms (1999) 161-169.
4. J. De Bonet and P. Viola, Roxels: responsibility weighted 3D volume reconstruction, in Proc. 7th IEEE Int. Conf. Computer Vision (ICCV-99), Vol. I (IEEE, Los Alamitos, CA, September 1999), pp. 418-425.
5. C. R. Dyer, Volumetric scene reconstruction from multiple views, in Foundations of Image Analysis, ed. L. S. Davis (Kluwer, 2001).
6. O. Grau and R. Tönjes, Knowledge based modelling of natural scenes, European Workshop on Combined Real and Synthetic Image Processing for Broadcast and Video Production (November 1994).
7. J. Hsu, Z. Pizlo, C. Babbs, D. Chelberg and E. Delp, Design of studies to test the effectiveness of stereo imaging, truth or dare: is stereo viewing really better, in Proc. SPIE 1994 2177 (1994) 211-220.
8. S. S. Intille and A. F. Bobick, Disparity-space images and large occlusion stereo, ECCV94 (1994) 179-186.
9. S.S. Intille and A. F. Bobick, Incorporating intensity edges in the recovery of occlusion regions, ICPR94 (1994) A674-A677.
10. K. Kutulakos and S. Seitz, A theory of shape by space carving, Int. J. Comput. Vis. 38(3) (2000) 199-218.
11. C.-E. Liedtke, O. Grau and S. Growe, Use of explicit knowledge for the reconstruction of 3-d object geometry, Computer Analysis of Images and Patterns, 1995 pp. 580-587.
12. D. Marr and T. A. Poggio, Cooperative computation of stereo disparity, Science 194 (1976) 283-287.
13. W. Matusik, C. Buehler, R. Raskar, S. J. Gortler and L. McMillan, Image-based visual hulls, SIGGRAPH (2000) 369-374.
14. H. Saito and T. Kanade, Shape reconstruction in projective grid space from large number of images, in Proc. IEEE Computer Science Conf. Computer Vision and Pattern Recognition (CVPR-99), (IEEE, Los Alamitos, June 1999), pp. 49-54.
15. S. M. Seitz and C. R. Dyer, Photorealistic scene reconstruction by voxel coloring, CVPR97 (1997) 1067-1073.
16. G. Slabaugh, B. Culbertson, T. Malzbender and R. Schafer, A survey of methods for volumetric scene reconstruction from photographs, VG2001 (2001).
17. G. G. Slabaugh, T. Malzbender and B. Culbertson, Volumetric warping for voxel coloring on an infinite domain, SMILE2000 (2000) 109-123.
18. R. Zabih and J. Woodfill, Non-parametric local transforms for computing visual correspondence, ECCV (2) (1994) 151-158.