A Bayesian model for SNP discovery based on next-generation sequencing data | IEEE Conference Publication | IEEE Xplore