A synchronized pruning composition algorithm of weighted finite state transducers for large vocabulary speech recognition | IEEE Conference Publication | IEEE Xplore