EPR-Based Bounded Model Checking at Word Level.
Moshe EmmerZurab KhasidashviliKonstantin KorovinChristoph StickselAndrei VoronkovPublished in: IJCAR (2012)
Keyphrases
- word level
- bounded model checking
- language independent
- model checking
- formal verification
- document images
- machine translation
- n gram
- temporal logic
- document analysis
- linear temporal logic
- sentence level
- word segmentation
- word recognition
- character recognition
- semantic roles
- viterbi algorithm
- multi agent systems
- probabilistic model
- information retrieval
- image processing