A Survey of Audio MIR Systems, Symbolic MIR Systems and a Music Definition Language Demo-System | IEEE Conference Publication | IEEE Xplore