Exploiting Nonlocal Filters for High-Resolution Insar Dem Generation | IEEE Conference Publication | IEEE Xplore