A Provably Accurate Algorithm for Recovering Compactly Supported Smooth Functions from Spectrogram Measurements | IEEE Conference Publication | IEEE Xplore