4962 search results - page 758 / 993 » Stochastic Model Checking |
132
click to vote
UAI
2004
15 years 3 months ago
2004
Although many real-world stochastic planning problems are more naturally formulated by hybrid models with both discrete and continuous variables, current state-of-the-art methods ...
116
click to vote
WSC
2001
15 years 3 months ago
2001
This paper discusses implementation of a sequential procedure to construct proportional half-width confidence intervals for a simulation estimator of the steady-state quantiles an...
NIPS
2003
15 years 3 months ago
2003
Biochemical signal-transduction networks are the biological information-processing systems by which individual cells, from neurons to amoebae, perceive and respond to their chemic...
114
click to vote
PDPTA
2003
15 years 3 months ago
2003
High availability (HA) computing has recently gained much attention, especially in enterprise and mission critical systems. The HA is now a necessity that is no longer regarded as...
112
Voted
AAAI
2000
15 years 3 months ago
2000
We develop a normative theory of interaction-negotiation in particular--among self-interested computationally limited agents where computational actions are game-theoretically tre...