A formal framework for positive and negative detection schemes | IEEE Journals & Magazine | IEEE Xplore