4962 search results - page 759 / 993 » Stochastic Model Checking |
WSC
1998
13 years 10 months ago
1998
The regenerative method of simulation output analysis exploits the regenerative structure of a stochastic process to break up a path into independent and identically distributed c...
ATAL
2010
Springer
13 years 10 months ago
2010
Springer
In this paper, we study a particular subclass of partially observable models, called quasi-deterministic partially observable Markov decision processes (QDET-POMDPs), characterize...
ATAL
2010
Springer
13 years 10 months ago
2010
Springer
We introduce a game setting called a joint process, where the history of actions determine the state, and the state and agent properties determine the payoff. This setting is a sp...
CDC
2009
IEEE
13 years 10 months ago
2009
IEEE
Intrusion Detection System (IDS) is an important security enforcement tool in modern networked information systems. Obtaining an optimal IDS configuration for effective detection o...
ECAI
2010
Springer
13 years 10 months ago
2010
Springer
Abstract. Control engineering is a field of major industrial importance as it offers principles for engineering controllable physical devices, such as cell phones, television sets,...