Pruning of Random Forest classifiers: A survey and future directions | IEEE Conference Publication | IEEE Xplore