Formal Analysis of Leave-One-Out Methods Based on Decremental Sampling Scheme | IEEE Conference Publication | IEEE Xplore