New regional labeling algorithm of pipeline image processor and proof of the correctness | IEEE Conference Publication | IEEE Xplore