Mining Big Data in Real Time. IJCAI 37 (1).