Design and Evaluation of Interactive Proofreading Tools for Connectomics | IEEE Journals & Magazine | IEEE Xplore