Term rewriting and its application to recognizing handwritten Hindu numerals

Journal of Experimental and Theoretical Artificial Intelligence

Volumn 13, Issue 3, 2001, Pages 271-290

  Elnagar, Ashraf ^a   Alhajj, Reda ^b   Harous, Saad ^a  

^a UNIVERSITY OF SHARJAH   (United Arab Emirates)

^b UNIVERSITY OF CALGARY   (Canada)

Author keywords

Algebraic specifications; Handwritten recognition; Hindu numerals; Term algebra; Term rewriting

Indexed keywords

EID: 0035647181     PISSN: 0952813X     EISSN: None     Source Type: Journal    
DOI: 10.1080/09528130110063119     Document Type: Article

References (27)

1. Abuhaiba, I., Mahmoud, S., and Green, R., 1994, Recognition of handwritten cursive arabic characters. IEEE Trans. PAMI, 16(6): 664-672.
2. Aho, A., and Ullman, J., 1977, Principles of Compiler Design (Massachusetts: Addison Wesley).
3. Almuallim, H., and Yamaguchi, S., 1987, A method of recognition of arabic cursive handwriting. IEEE Trans. PAMI, 9(5): 715-722.
4. Amin, A. A., Al-Sadoun, H., and Fisher, S., 1996, Hand-printed arabic character recognition system using an artificial network. Pattern Recognition, 29(4): 663-675.
5. Balbiani, P., 1995, Equation solving in geometric theories. Proceedings of the 4th International Workshop on Conditional and typed Rewriting Systems, 1: 31-50.
6. Bundgen, R., Kuchlin, W., and Lauterbach, W., 1996, Verification of the sparrow processor. Proceedings of the IEEE Symposium and Workshop on Engineering of Computer-Based Systems, 1: 86-93.
7. Cheng, F., Hsu, W., and Chen, M., 1989, Recognition of handwritten Chinese characters by modified hough transform techniques. IEEE Trans. PAMI, 11: 429-439.
8. Elnagar, A., 1998, A general framework for designing term rewriting systems using algebraic specifications. Technical report, Sultan Qaboos University.
9. Elnagar, A., Al-Kharousi, F., and Harous, S., 1997, Handwritten Arabic and Hindu numerals recognition based on a decision tree classifier. Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, pp. 983-988, USA.
10. Elnagar, A., and Harous, S., 2001, Recognition of handwritten Hindu numerals using structural descriptors. Technical report 021001-1, University of Sharjah.
11. Feng, S., Sakabe, T., and Inagaki, Y., 1993, Dynamic term rewriting calculus and its application to inductive equational reasoning. Proceedings of the International Symposium on Design and Implementation of Symbolic Computation Systems, 1: 256-271.
12. Futatsugi, K., Goguen, J., Jouannaud, J., and Mesegeur, J. 1985, Principles of obj2. In Proceedings of the ACM symposium on principles of programming languages.
13. Gaser, A, 1986, A specification of the intel 8085 microprocessor: a case study. Technical Report TR-MIP-8608, Passau University.
14. Gonzalez, R., and Woods, R., 1993, Digital Image Processing (USA: Addison Wesley).
15. Govindan, V. K., and Shivaprasad, A. P., 1990, Character recognition - a review. Pattern Recognition, 23(7): 617-683.
16. Honiden, S., Ohsuga, A., and Uchihira, N., 1996, Mendels zone: a parallel program development systems based on formal specifications. Information and Software Technology, 38(3): 181-189.
17. Jang, B., and Chin, R., 1992, One-Pass parallel thinning: Analysis, properties, and quantitative evaluation. IEEE PAMI, 14(11): 1129-1140.
18. Kawata, H., Sakai, K., Fujita, M., Shirai, M., and Ohtubo, T., 1994, Papyrus: a system for program synthesis and constructive logics. Transactions of the Information Processing Society of Japan, 35(1): 127-142.
19. Leung, C., Cheung, Y., and Wong, Y., 1987, A knowledge-based stroke-matching for Chinese character recognition. IEEE Trans. SMC, 17(6): 993-1003.
20. Nachum, D., 1987, Termination of rewriting. Technical report, University of Illinois at Urban-champaign.
21. O'Donnell, M., 1977, Computing in Systems Described by Equations (New York).
22. Purdom, P., 1985, Fast Many-To-One Matching Algorithms (France).
23. Rajavelu, A., Musavi, M., and Shirvikar, M., 1989, A neural network approach to character recognition. IEEE Neural Networks, 2: 387-393.
24. Ramsis, R., El-Dabi, S., and Kamel, A., 1988, Arabic character recognition system. IBM Kuwait Scientific Center, TR: KSC027.
25. Siy, P., and Chen, C., 1974, Fuzzy logic for handwritten numeral character recognition. IEEE Trans. SMC, 4: 570-575.
26. Xiao, Y., and Chen, Y., 1993, Parallel implementation approaches of term rewriting systems. Mini-Micro Computers, 14(12): 16-21.
27. Zidouri, A., Chinveeraphan, S., and Sato, M., 1995, Recognition of machine printed arabic characters and numerals based on mcr. IEICE Transactions on Information and Systems, E78-D(12): 1649-1655.