4962 search results - page 302 / 993 » Stochastic Model Checking |
158
click to vote
WSC
1997
15 years 8 months ago
1997
In recent articles we presented a general methodology for finite optimization. The new method, the Nested Partitions (NP) method, combines partitioning, random sampling, a select...
137
click to vote
JAMDS
2000
15 years 7 months ago
2000
We develop a methodology for evaluating a decision strategy generated by a stochastic optimization model. The methodology is based on a pilot study in which we estimate the distri...
184
click to vote
INFORMATICALT
2002
15 years 7 months ago
2002
We study the stochastic model for bioremediation in a bioreactor with ideal mixing. The dynamics of the examined system is described by stochastic differential equations. We consid...
199
click to vote
FOSSACS
2005
Springer
16 years 23 days ago
2005
Springer
Abstract. We study the interaction between non-deterministic and probabilistic behaviour in systems with continuous state spaces, arbitrary probability distributions and uncountabl...
197
click to vote
EVENT
2001
15 years 8 months ago
2001
As amounts of publicly uvuiluble video dutu grow, the need to query this dutu efficiently becomes signijcunt. Consequently, content-bused retrievul of video datu turns out to be U...