Error-based pruning of decision trees grown on very large data sets can work! | IEEE Conference Publication | IEEE Xplore