423 search results - page 17 / 85 » Multi-objective Model Checking of Markov Decision Processes |
DATE
2007
IEEE
14 years 3 months ago
2007
IEEE
As the hardware and software complexity grows, it is unlikely for the power management hardware/software to have a full observation of the entire system status. In this paper, we ...
IJCAI
2001
13 years 10 months ago
2001
Although a partially observable Markov decision process (POMDP) provides an appealing model for problems of planning under uncertainty, exact algorithms for POMDPs are intractable...
ENTCS
2002
13 years 8 months ago
2002
We report on the automatic verification of timed probabilistic properties of the IEEE 1394 root contention protocol combining two existing tools: the real-time modelchecker Kronos...
ICIP
2005
IEEE
14 years 10 months ago
2005
IEEE
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...
CORR
2008
Springer
13 years 8 months ago
2008
Springer
Recent attention in quickest change detection in the multi-sensor setting has been on the case where the densities of the observations change at the same instant at all the sensor...