129 search results - page 26 / 26 » Abstractive Meeting Summarization as a Markov Decision Proce... |
155
click to vote
QEST
2007
IEEE
16 years 7 days ago
2007
IEEE
We give an overview of GRIP, a symmetry reduction tool for the probabilistic model checker PRISM, together with experimental results for a selection of example specifications. 1 ...
152
click to vote
AAAI
2008
15 years 8 months ago
2008
2) a set of abstract drama manager; 3) a model of player response to drama manager actions; and 4) an author-specified evaluation function. The drama manager's task is to sele...
161
click to vote
IPCO
2010
15 years 7 months ago
2010
Abstract. We consider two-person zero-sum stochastic mean payoff games with perfect information, or BWR-games, given by a digraph G = (V = VB VW VR, E), with local rewards r : E R...
198
click to vote
IJRR
2011
15 years 28 days ago
2011
Abstract Partially observable Markov decision processes (POMDPs) are a principled mathematical framework for planning under uncertainty, a crucial capability for reliable operation...