This Article 
 Bibliographic References 
 Add to: 
Contour Tracking and Corner Detection in a Logic Programming Environment
September 1990 (vol. 12 no. 9)
pp. 913-917

The added functionality such as contour tracking and corner detection which logic programming lends to standard image operators is described. An environment for implementing low-level imaging operations with Prolog predicates is considered. Within this environment, higher-level image predicates (contour tracking and corner detection) are constructed. The emphasis is not on building better corner detectors, but on presenting ways of using the unification and backtracking features of logic programming for these tasks. The performance of this implementation of contour tracking and corner detection has been very good in many more complex images, as it allows for feedback both ways between sensor input and symbolic models. More important is the parameter selection capability in a dynamic version where background properties change. The authors present examples of Prolog predicates for performing the contour and corner detection operations.

[1] L. O'Gorman, "An analysis of feature detectability from curvature estimation," inProc. CVPR, Ann Arbor, MI, June 1988, pp. 235- 240.
[2] H. Freeman and L. S. Davis, "A comer-finding algorithm for chain- _ _ coded curves,"IEEE Trans. Cornput.,pp. 2977-303, Mar. 1977.
[3] Z. H. Huang and Q. Yu, "A direct comer detecting algorithm," inProc. 8th Int. Conf. Pattern Recognition,Paris, France, 1986, pp. 853-855.
[4] K. E. Price, "Matching closed contours," inProc. 7th Int. Conf. Pattern Recognition,Montreal, P.Q., Canada, 1984, pp. 990-992.
[5] A. M. Nazif and M. D. Levine, "Low level image segmentation: An expert system,"IEEE Trans. Pattern Anal. Machine Intell.,vol. PAMI-6; pp. 555-577, Sept. 1984.
[6] H. S. Tan and J. T. W. Damen. "Shape classification based on dy- _ _ namic modelling procedure, " inPattern Recognition in Practice II,E. S. Gelsema and L. N. Kanal, Ed. Amsterdam: North-Holland, 1986.
[7] J. Burns, A. Hanson, and E. Riseman, "Extracting straight lines,"IEEE Trans. Patt. Anal. Machine Intell., vol. PAMI-8, no. 4, pp. 425-455, July 1986.
[8] D. H. Marimont, "A representation for image curves," inProc. 4th Nat. Conf. Artificial Intell.,AAAI, Aug. 1984, pp. 237-242.
[9] D. Cruse, C. J. Oddy, and A. Wright, "A segmented image data base for image analysis," inProc. 7th Int. Conf. Pattern Recognition,Montreal, P.Q., Canada, 1984, pp. 493-496.
[10] L. F. Pau, "Knowledge-based real-time change detection, target image tracking, and threat assessment," inMachine Intelligence and Knowledge Engineering for Robotic Applications,A. K.-C. Wong and A. Pugh, Ed. Berlin: Snrinner-Verlaz. 1987.
[11] P. Kuner and B. Uebereiter, "knowledge-based pattern recognition in disturbed line images using graph theory, optimization, and predicate calculus," inProc. 8th Int. Conf. Pattern Recognition, Paris, France, 1986, pp. 240-243.
[12] D. M. McKeown, Jr., W. A. Harvey, Jr., and J. McDermott, "Rule-based interpretation of aerial imagery,"IEEE Trans. Pattern Anal. Machine Intell.,vol. PAMI-7, pp. 570-585, Sept. 1985.
[13] F. H. Cheng and W. H. Hsu, "Parallel algorithm for comer finding on digital curves,"Pattern Recognition Lett.,vol. 8, pp. 47-54, July 1988.
[14] D.T. Lawton and C.C. McConnell, "Image-Understanding Environments,"Proc. of the IEEE, Vol. 76, No. 8, Aug. 1988, pp. 1,036- 1,050.
[15] A. Guiducci, "Comer characterization by differential geometry techniques, "Pattern Recognition Lett.,vol. 8, pp. 311-318, Dec. 1988.
[16] O. Baruch, "Line thinning by line following,"Patt. Recogn. Lett., vol. 8, no. 4, pp. 271-276, 1988.
[17] M. H. Han, D. Jang, and J. Foster, "Identification of comerpoints of two dimensional images using a line search method,"Pattern Recognition J.,vol. 22, no. 1, pp. 13-20, 1989.
[18] C. Ronse and P.A. Devijver,Connected Components in Binary Images: The Detection Problem. Letchworth, England: Research Studies Press, 1984.
[19] M. Xie and P. Rivers, "Estimation des segments 2 D: Un algorithme Robuste," INRIA, Rennes, France, Res. Rep. 909, Oct. 1988.
[20] B. Bell and L. F. Pau, "Context knowledge and search control issues in object-oriented PROLOG-based image understanding," EMI, Tech. Univ. Denmark, Lyngby, Tech. Rep. R #402, Sept. 1989.
[21] L. F. Pau and L. Kanal, Ed.,Mapping and Spatial Data Structures.Heidelberg: Springer-Verlag (AS1 Series), 1990.

Index Terms:
computerised pattern recognition; logic programming environment; contour tracking; corner detection; Prolog predicates; unification; backtracking; parameter selection; computerised pattern recognition; computerised picture processing; logic programming
B. Bell, L.F. Pau, "Contour Tracking and Corner Detection in a Logic Programming Environment," IEEE Transactions on Pattern Analysis and Machine Intelligence, vol. 12, no. 9, pp. 913-917, Sept. 1990, doi:10.1109/34.57685
Usage of this product signifies your acceptance of the Terms of Use.