554 search results - page 27 / 111 » Approximate Probabilistic Model Checking |
97
Voted
CVPR
2005
IEEE
16 years 1 months ago
2005
IEEE
Objects can exhibit different dynamics at different scales, and this is often exploited by visual tracking algorithms. A local dynamic model is typically used to extract image fea...
103
click to vote
CAV
2006
Springer
15 years 3 months ago
2006
Springer
Many multithreaded programs employ concurrent data types to safely share data among threads. However, highly-concurrent algorithms for even seemingly simple data types are difficul...
TACAS
2004
Springer
15 years 5 months ago
2004
Springer
We present a method of deriving Craig interpolants from proofs in the quantifier-free theory of linear inequality and uninterpreted function symbols, and an interpolating theorem...
110
click to vote
TR
2010
14 years 6 months ago
2010
Abstract--We quantify the closeness of the approximation between two high-level probabilistic models of cascading failure. In one model called CASCADE, failing components successiv...
AIPS
2007
15 years 2 months ago
2007
Most traditional approaches to probabilistic planning in relationally specified MDPs rely on grounding the problem w.r.t. specific domain instantiations, thereby incurring a com...