Globally Optimal Short-Time Dynamic Time Warping, Application to Score to Audio Alignment | IEEE Conference Publication | IEEE Xplore