A platform for mining big data streams.