Globally optimal pixel labeling algorithms for tree metrics | IEEE Conference Publication | IEEE Xplore