Sciweavers

490 search results - page 5 / 98
» Abstraction Augmented Markov Models
Sort
View
CORR
2008
Springer
91views Education» more  CORR 2008»
14 years 10 months ago
Significant Diagnostic Counterexamples in Probabilistic Model Checking
Abstract. This paper presents a novel technique for counterexample generation in probabilistic model checking of Markov chains and Markov Decision Processes. (Finite) paths in coun...
Miguel E. Andrés, Pedro R. D'Argenio, Peter...
TSP
2008
111views more  TSP 2008»
14 years 10 months ago
Upper Bound Kullback-Leibler Divergence for Transient Hidden Markov Models
Abstract--This paper reports an upper bound for the Kullback
Jorge Silva, Shrikanth Narayanan
IJCAI
2003
14 years 11 months ago
Imitation Learning of Team-play in Multiagent System based on Hidden Markov Modeling
This paper addresses agents' intentions as building blocks of imitation learning that abstract local situations of the agent, and proposes a hierarchical hidden Markov model ...
Itsuki Noda
ESANN
2008
14 years 11 months ago
Word recognition and incremental learning based on neural associative memories and hidden Markov models
Abstract. An architecture for achieving word recognition and incremental learning of new words in a language processing system is presented. The architecture is based on neural ass...
Zöhre Kara Kayikci, Günther Palm
BMCBI
2006
102views more  BMCBI 2006»
14 years 10 months ago
Protein secondary structure prediction for a single-sequence using hidden semi-Markov models
Background: The accuracy of protein secondary structure prediction has been improving steadily towards the 88% estimated theoretical limit. There are two types of prediction algor...
Zafer Aydin, Yucel Altunbasak, Mark Borodovsky