143 search results - page 15 / 29 » Bisimulation for Labelled Markov Processes |
QEST
2007
IEEE
14 years 1 months ago
2007
IEEE
We investigate logics and equivalence relations that capture the qualitative behavior of Markov Decision Processes (MDPs). We present Qualitative Randomized Ctl (Qrctl): formulas o...
ICIP
2000
IEEE
13 years 12 months ago
2000
IEEE
Wavelet-domain hidden Markov tree (HMT) model has been recently proposed and applied to image processing, e.g., image segmentation. A new multiscale image segmentation method, cal...
IHI
2010
13 years 2 months ago
2010
As more and more information is available in the Electronic Health Record in the form of free-text narrative, there is a need for automated tools, which can process and understand...
NIPS
2008
13 years 9 months ago
2008
Inspired by the hierarchical hidden Markov models (HHMM), we present the hierarchical semi-Markov conditional random field (HSCRF), a generalisation of embedded undirected Markov ...
ICPR
2008
IEEE
14 years 8 months ago
2008
IEEE
We present the Higher Order Proxy Neighborhoods (HOPS) approach to modeling higher order neighborhoods in Markov Random Fields (MRFs). HOPS incorporates more context information i...