SPIDER: software for protein identification from sequence tags with de novo sequencing error | IEEE Conference Publication | IEEE Xplore