Sciweavers

3491 search results - page 338 / 699
» Cascaded Markov Models
Sort
View
QEST
2010
IEEE
15 years 4 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...
ICASSP
2011
IEEE
14 years 10 months ago
A reversible jump MCMC algorithm for Bayesian curve fitting by using smooth transition regression models
This paper proposes a Bayesian algorithm to estimate the parameters of a smooth transition regression model. With in this model, time series are divided into segments and a linear...
Matthieu Sanquer, Florent Chatelain, Mabrouka El-G...
RP
2009
Springer
136views Control Systems» more  RP 2009»
16 years 1 months ago
Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates
We present an abstraction of the probabilistic semantics of Multiset Rewriting to formally express systems of reactions with uncertain kinetic rates. This allows biological systems...
Roberto Barbuti, Francesca Levi, Paolo Milazzo, Gu...
AVSS
2008
IEEE
16 years 1 months ago
Object and Scene-Centric Activity Detection Using State Occupancy Duration Modeling
We propose a video event analysis framework based on object segmentation and tracking, combined with a Hidden Semi-Markov Model (HSMM) that uses state occupancy duration modeling....
Murtaza Taj, Andrea Cavallaro
ICRA
2006
IEEE
202views Robotics» more  ICRA 2006»
16 years 27 days ago
Primitive Communication based on Motion Recognition and Generation with Hierarchical Mimesis Model
— Communication skill is essential for social robots in various environments such as homes, offices, and hospitals, where the robots are expected to interact with humans. In thi...
Wataru Takano, Katsu Yamane, Tomomichi Sugihara, K...