Formal analysis of leave-one out method based on decremental sampling scheme

This paper proposes a new framework for formal analysis of leave-out one methods based on decremental sampling scheme, which gives a reversed operation of incremental sampling scheme. This technique is applied to the leave-one out method for rules defined by the propositions whose constraints were defined by inequalities of accuracy and coverage. The results show that expected values of indices and error rates can be obtained as exact formulae.