Vitalsource Technologies, Inc. Speech Recognition Algorithms Using Weighted Finite-State Transducers