10038 search results - page 331 / 2008 » Model Checking for Managers |
182
click to vote
ACL
2008
15 years 8 months ago
2008
In spoken dialogue systems, Partially Observable Markov Decision Processes (POMDPs) provide a formal framework for making dialogue management decisions under uncertainty, but effi...
175
click to vote
TAMODIA
2008
15 years 8 months ago
2008
Abstract. The successful application of ubiquitous computing in crisis management requires a thorough understanding of the mechanisms that extract information from sensors and comm...
181
click to vote
PRICAI
2004
Springer
16 years 1 days ago
2004
Springer
In this paper, we extend our earlier work on modelling the mental states of PRS-like agents by considering the dynamics of belief and modelling of action attempts. The major constr...
148
click to vote
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
The Northern Region of the USDA Forest Service is using the Ecosystem Management Decision Support System (EMDS) to evaluate ecosystem sustainability for National Forest plan revis...
161
click to vote
FLAIRS
2007
15 years 9 months ago
2007
There is a growing interest in producing story based game experiences that do not follow fixed scripts predefined by the author, but change the experience based on actions perfo...