Lifting Propositional Interpolants to the Word-Level.
Daniel KroeningGeorg WeissenbacherPublished in: FMCAD (2007)
Keyphrases
- word level
- language independent
- machine translation
- document images
- document analysis
- word recognition
- first order logic
- n gram
- character recognition
- sentence level
- word segmentation
- semantic roles
- viterbi algorithm
- chinese text retrieval
- document level
- image analysis
- search engine
- artificial intelligence
- information retrieval