Verification-Based Interval-Passing Algorithm for Compressed Sensing | IEEE Journals & Magazine | IEEE Xplore