Local regularity for texture segmentation: Combining wavelet leaders and proximal minimization | IEEE Conference Publication | IEEE Xplore