Melodyne works really well for extracting actual sheet music for polyphonic audio

Here is a demo: http://www.youtube.com/watch?v=jFCjv4_jqAY

It works best with single-instrument signals - not so much with a mix of multiple instruments.