Handwritten Boolean Algebra Derivation Recognition and Error Identification.
Wisut SilaratanaNatasha DejdumrongPublished in: IV (2020)
Keyphrases
- boolean algebra
- character recognition
- handwritten characters
- numeral strings
- document analysis
- handwriting recognition
- word recognition
- cardinality constraints
- constraint query languages
- handwritten words
- theorem prover
- pattern recognition
- handwritten documents
- document images
- relational databases
- upper approximation
- database