Large-vocabulary dictation using SRI's DECIPHER speech recognition system: progressive search techniques | Synapse