Super-resolution image processing with total variation regularization and shock filters | IEEE Conference Publication | IEEE Xplore