Interactive map conversion: combining machine vision and human input | IEEE Conference Publication | IEEE Xplore