Score-Informed Source Separation Based on Real-Time Polyphonic Score-to-Audio Alignment and Bayesian Harmonic Model | IEEE Conference Publication | IEEE Xplore