423 search results - page 83 / 85 » Multi-objective Model Checking of Markov Decision Processes |
AAAI
2008
13 years 9 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...
TON
2002
13 years 7 months ago
2002
We consider a communication network with fixed routing that can accommodate multiple service classes, differing in bandwidth requirements, demand pattern, call duration, and routin...
BMCBI
2008
13 years 6 months ago
2008
Background: Medium- to large-scale expression profiling using quantitative polymerase chain reaction (qPCR) assays are becoming increasingly important in genomics research. A majo...
WWW
2005
ACM
14 years 8 months ago
2005
ACM
Continuous queries are used to monitor changes to time varying data and to provide results useful for online decision making. Typically a user desires to obtain the value of some ...
INFOCOM
2009
IEEE
14 years 2 months ago
2009
IEEE
—This paper considers the design of opportunistic packet schedulers for users sharing a time-varying wireless channel from the performance and the robustness points of view. Firs...