Computer Algebra Algorithms Applied to Computer Vision in a Parking Management System

From this paper, we propose a novel methodology to compute a 2D homography applying some algorithms of computer algebra. We consider the classical problem of solving (exactly) a linear system of algebraic equations, and we suggest a new algorithm for computer vision, based on homomorphism methods over Zopf, to solve a system of equations necessary to achieve a 3 times 3 matrix H which lets us to compute the projective transformation which translates coordinates between points in different planes. From this work, we want to show that it is possible to apply a symbolic approach to some crucial issues of computer vision, moreover of the numerical methodology, in order to reduce the complexity of some algorithms, and to eliminate the problems associated with loss of precision and normalization. We test our technique in a real situation: a parking management system, which creates a pseudo-top-view of a parking area to determine if there are free parking lots or not.

[1]  W. Oertel,et al.  Determining car-park occupancy from single images , 2004, IEEE Intelligent Vehicles Symposium, 2004.

[3]  I. Horiba,et al.  Parking condition discrimination system of image processing type using a neural network model (for Tokyo Ring Expressway Niikura parking area) , 1994, Proceedings of VNIS'94 - 1994 Vehicle Navigation and Information Systems Conference.

[4]  Guillermo Matera,et al.  Numeric vs. symbolic homotopy algorithms in polynomial system solving: a case study , 2005, J. Complex..

[5]  Manolis I. A. Lourakis,et al.  Chaining Planar Homographies for Fast and Reliable 3D Plane Tracking , 2006, 18th International Conference on Pattern Recognition (ICPR'06).

[6]  Isao Horiba,et al.  A2-5 PARKING CONDITION DISCRIMINATION SYSTEM OF IMAGE PROCESSING TYPE USING A NEURAL NETWORK MODEL , 1994 .

[7]  Dinesh Manocha,et al.  SOLVING SYSTEMS OF POLYNOMIAL EQUATIONS , 2002 .

[8]  Nicolai Petkov,et al.  Comparison of texture features based on Gabor filters , 1999, Proceedings 10th International Conference on Image Analysis and Processing.

[9]  J. Daugman.  Uncertainty relation for resolution in space, spatial frequency, and orientation optimized by two-dimensional visual cortical filters. , 1985, Journal of the Optical Society of America. A, Optics and image science.

[10]  John G. Daugman,et al.  Complete discrete 2-D Gabor transforms by neural networks for image analysis and compression , 1988, IEEE Trans. Acoust. Speech Signal Process..

[11]  Franz Winkler,et al.  Polynomial Algorithms in Computer Algebra , 1996, Texts and Monographs in Symbolic Computation.

[12]  Keith O. Geddes,et al.  Algorithms for computer algebra , 1992 .

[13]  Dennis F. Dunn,et al.  Optimal Gabor filters for texture segmentation , 1995, IEEE Trans. Image Process..

[14]  Nicolai Petkov,et al.  Comparison of texture features based on Gabor filters , 2002, IEEE Trans. Image Process..

[15]  B. S. Manjunath,et al.  Texture Features for Browsing and Retrieval of Image Data , 1996, IEEE Trans. Pattern Anal. Mach. Intell..

[16]  Thorsten Joachims,et al.  Making large scale SVM learning practical , 1998 .

[17]  H. Opower.  Multiple view geometry in computer vision , 2002 .

[18]  Bruno Buchberger,et al.  Computer algebra symbolic and algebraic computation , 1982, SIGS.

[19]  Thomas S. Huang,et al.  Algebraic methods for image processing and computer vision , 1996, IEEE Trans. Image Process..

[20]  Bernhard P. Wrobel,et al.  Multiple View Geometry in Computer Vision , 2001 .