Document Analysis Support for the Manual Auditing of Elections | IEEE Conference Publication | IEEE Xplore