Sciweavers

2005 search results - page 161 / 401
» Decisive Markov Chains
Sort
View
QEST
2005
IEEE
15 years 7 months ago
iLTLChecker: A Probabilistic Model Checker for Multiple DTMCs
iLTL is a probabilistic temporal logic that can specify properties of multiple discrete time Markov chains (DTMCs). In this paper, we describe two related tools: MarkovEstimator a...
YoungMin Kwon, Gul A. Agha
ICIP
2005
IEEE
16 years 3 months ago
Flame detection in video using hidden Markov models
This paper proposes a novel method to detect flames in video by processing the data generated by an ordinary camera monitoring a scene. In addition to ordinary motion and color cl...
A. Enis Çetin, B. Ugur Töreyin, Yigith...
ATAL
2008
Springer
15 years 3 months ago
Emerging coordination in infinite team Markov games
In this paper we address the problem of coordination in multi-agent sequential decision problems with infinite statespaces. We adopt a game theoretic formalism to describe the int...
Francisco S. Melo, M. Isabel Ribeiro
AIRS
2006
Springer
15 years 3 months ago
Text Mining for Medical Documents Using a Hidden Markov Model
Abstract. We propose a semantic tagger that provides high level concept information for phrases in clinical documents. It delineates such information from the statements written by...
Hyeju Jang, Sa-Kwang Song, Sung-Hyon Myaeng
ICML
2006
IEEE
16 years 2 months ago
Fast direct policy evaluation using multiscale analysis of Markov diffusion processes
Policy evaluation is a critical step in the approximate solution of large Markov decision processes (MDPs), typically requiring O(|S|3 ) to directly solve the Bellman system of |S...
Mauro Maggioni, Sridhar Mahadevan