Subject: Computer Science - Data Structures and Algorithms | Computer Science - Formal Languages and Automata Theory
Hidden Markov Chains (HMCs) are commonly used mathematical models of probabilistic systems. They are employed in various fields such as speech recognition, signal processing, and biological sequence analysis. We consider the problem of distinguishing two given HMCs base... View more
 P. Ailliot, C. Thompson, and P. Thomson. Space-time modelling of precipitation by using a hidden Markov model and censored Gaussian distributions. Journal of the Royal Statistical Society, 58(3):405-426, 2009.
 M. Alexandersson, S. Cawley, and L. Pachter. SLAM: Cross-species gene finding and alignment with a generalized pair hidden Markov model. Genome Research, 13:469-502, 2003.
 R. Alur, C. Courcoubetis, and M. Yannakakis. Distinguishing tests for nondeterministic and probabilistic machines. In Proceedings of STOC, pages 363-372. ACM, 1995.
 C. Baier, J. Klein, S. Klu¨ppelholz, and S. Ma¨rcker. Computing conditional probabilities in Markovian models efficiently. In Proceedings of TACAS, volume 8413 of LNCS, pages 515-530, 2014.
 N. Bertrand, S. Haddad, and E. Lefaucheux. Accurate approximate diagnosability of stochastic systems. In Proceedings of LATA, pages 549-561, 2016.
 F.-S. Chen, C.-M. Fu, and C.-L. Huang. Hand gesture recognition using a real-time tracking method and hidden Markov models. Image and Vision Computing, 21(8):745-758, 2003.
 T. Chen and S. Kiefer. On the total variation distance of labelled Markov chains. In Proceedings of CSL-LICS, pages 33:1-33:10, 2014.
 G. Churchill. Stochastic models for heterogeneous DNA sequences. Bulletin of Mathematical Biology, 51(1):79-94, 1989.
 M. Crouse, R. Nowak, and R. Baraniuk. Wavelet-based statistical signal processing using hidden Markov models. IEEE Transactions on Signal Processing, 46(4):886-902, April 1998.
 L. Doyen, T. Henzinger, and J.-F. Raskin. Equivalence of labeled Markov chains. International Journal of Foundations of Computer Science, 19(3):549-563, 2008.