Verifying cuts as a tool for improving a classifier based on a decision tree | IEEE Conference Publication | IEEE Xplore