Solving substitution ciphers for OCR with a semi-supervised hidden Markov model | IEEE Conference Publication | IEEE Xplore