"True" three dimensional image labeling: semantic graph and arc consistency | IET Conference Publication | IEEE Xplore