Progressive and interactive analysis of event data using event miner | IEEE Conference Publication | IEEE Xplore