Login / Signup
Using word-level ATPG and modular arithmetic constraint-solvingtechniques for assertion property checking.
Chung-Yang Huang
Kwang-Ting Cheng
Published in:
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2001)
Keyphrases
</>
word level
language independent
document images
document analysis
machine translation
character recognition
sentence level
word recognition
n gram
word segmentation
viterbi algorithm
pattern recognition
markov chain
natural language processing
information extraction
semantic roles
hidden markov models