Formal analysis of cross-validation for rule induction using probabilistic indices | IEEE Conference Publication | IEEE Xplore