Given a source sequence f computing the best scoring target sequence e = arg max e ′ s(e ′ , f ) among all possible sequences E * requires a beam search procedure <cite>(Freitag and Khadivi, 2007)</cite> .