The N-best algorithms: an efficient and exact procedure for finding the N most likely sentence hypotheses | Synapse