Discovering frequent episodes and learning hidden Markov models: a formal connection | IEEE Journals & Magazine | IEEE Xplore