Keyword Matching in Historical Machine-Printed Documents Using Synthetic Data, Word Portions and Dynamic Time Warping | IEEE Conference Publication | IEEE Xplore