81 search results - page 15 / 17 » PARAM: A Model Checker for Parametric Markov Models |
AAAI
2006
13 years 7 months ago
2006
Markov decision processes (MDPs) with discrete and continuous state and action components can be solved efficiently by hybrid approximate linear programming (HALP). The main idea ...
CORR
2008
Springer
13 years 6 months ago
2008
Springer
We study the problem of dynamic spectrum sensing and access in cognitive radio systems as a partially observed Markov decision process (POMDP). A group of cognitive users cooperati...
MICCAI
2003
Springer
14 years 7 months ago
2003
Springer
We present a new brain segmentation framework which we apply to T1-weighted magnetic resonance image segmentation. The innovation of the algorithm in comparison to the state-of-the...
ICCV
2005
IEEE
13 years 12 months ago
2005
IEEE
In this paper we develop a system for human behaviour recognition in video sequences. Human behaviour is modelled as a stochastic sequence of actions. Actions are described by a f...
ISI
2008
Springer
13 years 6 months ago
2008
Springer
Often several cooperating parties would like to have a global view of their joint data for various data mining objectives, but cannot reveal the contents of individual records due...