Springer Inference in Hidden Markov Models