Event mining : theory, algorithms, and applications /: theory, algorithms, and applications. (2014)