Image restoration through l0 analysis-based sparse optimization in tight frames | IEEE Conference Publication | IEEE Xplore