Proximal methods for image restoration using a class of non-tight frame representations | IEEE Conference Publication | IEEE Xplore