An Effective Termination Criterion for the Rudin-Osher-Fatemi Algorithm for Image Restoration | IEEE Conference Publication | IEEE Xplore