I think a good case could be made for such an automatic system... although it's probably a somewhat too complex / labor intensive task at this particular stage

I think a good case could be made for such an automatic system... although it's probably a somewhat too complex / labor intensive task at this particular stage for this particular project! As for the write-up however, the process I currently use is very simple (and it's pretty much all "manual labor"). To partition a score into time intervals, I have a couple of lines of javascript that record the time the audio is at, together with where in the score I click (and where I aim to click on the note currently being played). It doesn't take too much time and effort to partition a score this way actually, unless the piece is slightly complex. Beethoven's 5th took a little more effort than Air for example ;) Hope this helps for now! And I am planning to publish a more detailed write up of everything, so please stay expect that in the next month or so (easiest to hear about via Twitter or by submitting your email to the site). Thanks for your interest and suggestions!