Marimba: A Tool for Verifying Properties of Hidden Markov Models.
Noé HernándezKerstin EderEvgeni MagidJesús SavageDavid A. RosenbluethPublished in: ATVA (2015)
Keyphrases
- hidden markov models
- conditional random fields
- markov models
- speech recognition
- markov model
- sequence classification
- hidden states
- viterbi algorithm
- handwritten word recognition
- forward backward
- gesture recognition
- hidden state
- discriminative training
- sequential data
- visual speech recognition
- pairwise
- stochastic context free grammars
- multi dimensional
- random effects