4962 search results - page 313 / 993 » Stochastic Model Checking |
127
click to vote
CDC
2010
IEEE
14 years 10 months ago
2010
IEEE
The Markov chain approximation method is an effective and widely used approach for computing optimal values and controls for stochastic systems. It was extended to nonlinear (and p...
104
click to vote
ACL
2006
15 years 4 months ago
2006
A web search with double checking model is proposed to explore the web as a live corpus. Five association measures including variants of Dice, Overlap Ratio, Jaccard, and Cosine, ...
160
click to vote
ACCV
2006
Springer
15 years 7 months ago
2006
Springer
Stochastic grammar has been used in many video analysis and event recognition applications as an efficient model to represent large-scale video activity. However, in previous works...
123
click to vote
NIPS
2008
15 years 4 months ago
2008
Consider data consisting of pairwise measurements, such as presence or absence of links between pairs of objects. These data arise, for instance, in the analysis of protein intera...
151
click to vote
ISAAC
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. We consider the Steiner tree problem under a 2-stage stochastic model with recourse and finitely many scenarios (SSTP). Thereby, edges are purchased in the first stage wh...