OCR Post-processing Using Weighted Finite-State Transducers | IEEE Conference Publication | IEEE Xplore