Sciweavers

1318 search results - page 83 / 264
» Aggregation-based model reduction of a Hidden Markov Model
Sort
View
115
Voted
QEST
2010
IEEE
14 years 10 months ago
DTMC Model Checking by SCC Reduction
Discrete-Time Markov Chains (DTMCs) are a widely-used formalism to model probabilistic systems. On the one hand, available tools like PRISM or MRMC offer efficient model checking a...
Erika Ábrahám, Nils Jansen, Ralf Wim...
98
Voted
BMCBI
2005
100views more  BMCBI 2005»
15 years 16 days ago
Evolutionary models for insertions and deletions in a probabilistic modeling framework
Background: Probabilistic models for sequence comparison (such as hidden Markov models and pair hidden Markov models for proteins and mRNAs, or their context-free grammar counterp...
Elena Rivas
86
Voted
ISRR
2005
Springer
135views Robotics» more  ISRR 2005»
15 years 6 months ago
Mimetic Communication Theory for Humanoid Robots Interacting with Humans
d a human. The meta proto-symbols are a little more abstract analogy of the proto-symbols and recognize/generate the relationship of the two. A hypothesis is then proposed as the p...
Yoshihiko Nakamura, Wataru Takano, Katsu Yamane
68
Voted
ASPDAC
2001
ACM
57views Hardware» more  ASPDAC 2001»
15 years 4 months ago
Speech recognition chip for monosyllables
Abstract-- In the paper, we present a real-time speech recognition chip for monosyllables such as A, B, ..., etc. The chip recognizes up to 64 monosyllables based on the Hidden Mar...
Kazuhiro Nakamura, Qiang Zhu, Shinji Maruoka, Taka...
92
Voted
IJCAI
2007
15 years 2 months ago
Inside-Outside Probability Computation for Belief Propagation
In this paper we prove that the well-known correspondence between the forward-backward algorithm for hidden Markov models (HMMs) and belief propagation (BP) applied to HMMs can be...
Taisuke Sato