Mumford and Shah functional: finite precision analysis and software implementation | IEEE Conference Publication | IEEE Xplore