Term rewriting and its application to recognizing handwritten Hindu numerals.
Ashraf ElnagarReda AlhajjSaad HarousPublished in: J. Exp. Theor. Artif. Intell. (2001)
Keyphrases
- term rewriting
- handwritten characters
- theorem proving
- theorem prover
- character recognition
- operational semantics
- rewrite systems
- knuth bendix
- word recognition
- automatic recognition
- handwritten numerals
- word spotting
- numeral strings
- handwritten numeral recognition
- optical character recognition
- handwriting recognition
- database
- optical music recognition