Un calcul de Viterbi pour un Modèle de Markov Caché Contraint

Matthieu Petit, Henning Christiansen

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

Abstract

A hidden Markov model (HMM) is a statistical model in which the system being modeled is assumed to be a Markov process with hidden states. This model has been widely used in speech recognition and biological sequence analysis. Viterbi algorithm has been proposed to compute the most probable value of these hidden states in regards to an observed data sequence. Constrained HMM extends this framework by adding some constraints on a HMM process run.

In this paper, we propose to introduce constrained HMMs into Constraint Programming. We propose new version of the Viterbi algorithm for this new framework. Several constraint techniques are used to reduce the search of the most probable value of hidden states of a constrained HMM. An implementation based on PRISM, a logic programming language for statistical modeling, is presented.

OriginalsprogFransk
TitelProceedings des 5ème Journée Francophone de Programmation par Contraintes
Publikationsdato2009
StatusUdgivet - 2009
Begivenhed5ème Journée Francophone de Programmation par Contraintes - Orléans, Frankrig
Varighed: 3 jun. 20095 jun. 2009

Konference

Konference5ème Journée Francophone de Programmation par Contraintes
LandFrankrig
ByOrléans
Periode03/06/200905/06/2009

Projekter

Logisk-statistisk modellering og analyse af biologiske sekvensdata

Christiansen, H., Gallagher, J. P., Skovgaard, O., Pedersen, M. B., Garrigues, C., Jaeger, M., Forsberg, R., Steffensen, P. J., Knudsen, T., Knudsen, B., Krogh, A. & Sato, T.

Det strategiske forskningsråd; NABIIT, Programkomitéen for nanovidenskab og teknologi, bioteknologi og IT

01/05/200731/12/2012

Projekter: ProjektForskning

Citer dette

Petit, M., & Christiansen, H. (2009). Un calcul de Viterbi pour un Modèle de Markov Caché Contraint. I Proceedings des 5ème Journée Francophone de Programmation par Contraintes