A Constraint Model for Constrained Hidden Markov Models: a First Biological Application

Henning Christiansen, Christian Theil Have, Ole Torp Lassen, Matthieu Petit

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review


A Hidden Markov Model (HMM) is a common statistical model which is widely used for analysis of biological sequence data and other sequential phenomena. In the present paper we extend HMMs with constraints and show how the familiar Viterbi algorithm can be generalized, based on constraint solving methods. HMMs with constraints have advantages over traditional ones in terms of more compact expressions as well as opportunities for pruning during Viterbi computations. We exemplify this by an enhancement of a simple prokaryote gene finder given by an HMM.
Original languageEnglish
Title of host publicationProceedings of WCB09: Workshop on Constraint Based Methods for Bioinformatics
Number of pages26
Publication date2009
Publication statusPublished - 2009
EventWorkshop on Constraint Based Methods for Bioinformatics - Lisboa, Portugal
Duration: 20 Sept 200920 Sept 2009


ConferenceWorkshop on Constraint Based Methods for Bioinformatics


  • Hidden Markov Model
  • Constraint Programming
  • Constrained Hidden Markov Model

Cite this