Lexicon assistance reduces manual verification of OCR output | IEEE Conference Publication | IEEE Xplore