Separation by “humming”: User-guided sound extraction from monophonic mixtures | IEEE Conference Publication | IEEE Xplore