4962 search results - page 354 / 993 » Stochastic Model Checking |
150
click to vote
ICW
2005
IEEE
15 years 9 months ago
2005
IEEE
— In this paper, we consider the standard state estimation problem over a congested packet-based network. The network is modeled as a queue with a single server processing the pa...
97
Voted
SIGMETRICS
1999
ACM
15 years 7 months ago
1999
ACM
In this paperweconsidertheproblemof schedulingdifferentclasses of customerson multiple distributed serversto minimize an objective function basedon per-classmeanresponsetimes.This...
88
Voted
PNPM
1989
15 years 7 months ago
1989
We present SPNP, a powerful GSPN package developed at Duke University. SPNP allows the modeling of complex system behaviors. Advanced constructs are available, such as markingdepe...
132
Voted
IJCAI
2007
15 years 4 months ago
2007
Markov Decision Processes are a powerful framework for planning under uncertainty, but current algorithms have difficulties scaling to large problems. We present a novel probabil...
109
Voted
ACL
2006
15 years 4 months ago
2006
To study PP attachment disambiguation as a benchmark for empirical methods in natural language processing it has often been reduced to a binary decision problem (between verb or n...