A visual and interactive tool for optimizing lexical postcorrection of OCR results | IEEE Conference Publication | IEEE Xplore