Gravar-mail: Decoding HMMs using the k best paths: algorithms and applications