4962 search results - page 302 / 993 » Stochastic Model Checking |
WSC
1997
15 years 4 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...
JAMDS
2000
15 years 2 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...
123
click to vote
INFORMATICALT
2002
15 years 2 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...
129
click to vote
FOSSACS
2005
Springer
15 years 8 months 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...
135
click to vote
EVENT
2001
15 years 4 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...