Sciweavers

640 search results - page 48 / 128
» Discovering State Invariants
Sort
View
UAI
2008
14 years 12 days ago
Sensitivity analysis for finite Markov chains in discrete time
When the initial and transition probabilities of a finite Markov chain in discrete time are not well known, we should perform a sensitivity analysis. This is done by considering a...
Gert De Cooman, Filip Hermans, Erik Quaeghebeur
VSTTE
2010
Springer
13 years 9 months ago
Local Reasoning and Dynamic Framing for the Composite Pattern and Its Clients
Abstract. The Composite design pattern is an exemplar of specification and verification challenges for sequential object-oriented programs. Region logic is a Hoare logic augmente...
Stan Rosenberg, Anindya Banerjee, David A. Naumann
WIOPT
2011
IEEE
13 years 2 months ago
Ergodic spatial throughput of wireless ad hoc networks with Markovian fading channels
—Most work on wireless network throughput ignore the temporal correlation inherent to wireless channels, due to trouble with tractability. In order to better capture the temporal...
Chun-Hung Liu, Jeffrey G. Andrews
ICASSP
2010
IEEE
13 years 11 months ago
Variational nonparametric Bayesian Hidden Markov Model
The Hidden Markov Model (HMM) has been widely used in many applications such as speech recognition. A common challenge for applying the classical HMM is to determine the structure...
Nan Ding, Zhijian Ou
ICML
2008
IEEE
14 years 11 months ago
Automatic discovery and transfer of MAXQ hierarchies
We present an algorithm, HI-MAT (Hierarchy Induction via Models And Trajectories), that discovers MAXQ task hierarchies by applying dynamic Bayesian network models to a successful...
Neville Mehta, Soumya Ray, Prasad Tadepalli, Thoma...