3760 search results - page 61 / 752 » Logic-Based Probabilistic Modeling |
132
Voted
CVPR
2009
IEEE
16 years 7 months ago
2009
IEEE
We propose a novel probabilistic framework for learning
visual models of 3D object categories by combining appearance
information and geometric constraints. Objects are
represen...
PR
2008
14 years 11 months ago
2008
Given the pervasive nature of malicious mobile code (viruses, worms, etc.), developing statistical/structural models of code execution is of considerable importance. We investigat...
107
click to vote
QEST
2008
IEEE
15 years 6 months ago
2008
IEEE
We present a new version of PROBDIVINE – a parallel tool for verification of probabilistic systems against properties formulated in linear temporal logic. Unlike the previous r...
120
click to vote
ASIAN
2003
Springer
15 years 5 months ago
2003
Springer
Protocols for distributed systems make often use of random transitions to achieve a common goal. A popular example are randomized leader election protocols. We introduce probabilis...
105
click to vote
CONCUR
2001
Springer
15 years 4 months ago
2001
Springer
We study the maximal reachability probability problem for infinite-state systems featuring both nondeterministic and probabilistic choice. The problem involves the computation of ...