ADR-Miner: An ant-based data reduction algorithm for classification | IEEE Conference Publication | IEEE Xplore