Utilizing moment invariants and Gröbner bases to reason about shapes

Computational Intelligence

Volumn 14, Issue 4, 1998, Pages 461-474

  Schweitzer, Haim ^a   Straach, Janell ^a  

^a UNIVERSITY OF TEXAS AT DALLAS   (United States)

Author keywords

Geometric reasoning; Shape recognition

Indexed keywords

COMPUTATIONAL GEOMETRY; DECISION THEORY; LEAST SQUARES APPROXIMATIONS; PATTERN RECOGNITION; PROBLEM SOLVING; THEOREM PROVING;

GEOMETRIC REASONING; GROBNER BASIS;

FORMAL LOGIC;

EID: 0032209938     PISSN: 08247935     EISSN: None     Source Type: Journal    
DOI: 10.1111/0824-7935.00072     Document Type: Article

References (15)

1. BECKER, T., and V. WEISPFENNING. 1993. Gröbner Bases: A Computational Approach to Commutative Algebra. Springer-Verlag.
2. BUCHBERGER, B. 1985. An algorithmic method in polynomial ideal theory. In Multidimensional Systems Theory. Edited by N. K. Bose. Reidel, Dordrecht, pp. 184-232.
3. CHOU, S. C. 1988. Mechanical Geometry Theorem Proving. D. Reidel, Dordrecht.
4. COX, D., J. LITTLE, and D. O'SHERA. 1992. Ideals, Varieties and Algorithms: An Introduction of Computational Algebraic Geometry and Commutative Algebra. Springer-Verlag, New York.
5. HU, M. 1962. Visual pattern recognition by moment invariants. IRE Transactions on Information Theory, 8:179-187.
6. HUYNH, D. T. 1986. A superexponential lower bound for Gröbner bases and the Church-Rosser commutative Thue systems. Information and Control, 68(1-3):196-206.
7. KAPUR, D. 1989. A refutational approach to geometry theorem proving. In Geometric Reasoning. Edited by Deepak Kapur and Joseph L. Mundy. The MIT Press, Cambridge, MA, pp. 61-93.
8. LI YANJUN. 1992. Reforming the theory of invariant moments for pattern recognition. Pattern Recognition, 25(7):723-730.
9. MISHRA, B., and CHEE YAP. 1989. Notes on Gröbner bases. Information Sciences, 48:219-252.
10. REISS, T. H. 1991. The revised fundamental theorem of moment invariants. IEEE Transactions on Pattern Analysis and Machine Intelligence, 13(8):830-834.
11. SINGER, M. H. 1993. A general approach to moment calculation for polygons and line segments. Pattern Recognition, 26:1019-1028.
12. VALIANT, L. G. 1983. Exponential lower bounds for restricted monotone circuits. In Proceedings of the Annual ACM Symposium on Theory of Computing (STOC '83). Boston, pp. 110-117.
13. VALIANT, L. G. 1984. Short monotone formulae for the majority function. Journal of Algorithms, 5:363-366.
14. VEBLEN, O., and J. WHITEHEAD. 1967. The Foundations of Differential Geometry. Cambridge University Press, London.
15. WONG, R. Y., and E. L. HALL. 1978. Scene matching with invariant moments. Computer Graphics and Image Processing, 8:16-24.