Thinning binary pictures by a labeling procedure | IEEE Conference Publication | IEEE Xplore