Coherent time modeling of Semi-Markov models with application to real-time audio-to-score alignment | IEEE Conference Publication | IEEE Xplore