Large-vocabulary dictation using SRI's DECIPHER speech recognition system: progressive search techniques | IEEE Conference Publication | IEEE Xplore