Graph-Theoretic Post-Processing of Segmentation With Application to Dense Biofilms | IEEE Journals & Magazine | IEEE Xplore