Simultaneous Beat and Downbeat-Tracking Using a Probabilistic Framework: Theory and Large-Scale Evaluation | IEEE Journals & Magazine | IEEE Xplore