3918 search results - page 30 / 784 » Probabilistic model of triangulation |
64
Voted
ICIP
2002
IEEE
16 years 2 months ago
2002
IEEE
43
Voted
ICPR
2004
IEEE
16 years 1 months ago
2004
IEEE
100
Voted
GLVLSI
2005
IEEE
15 years 6 months ago
2005
IEEE
Switching model captures the data-driven uncertainty in logic circuits in a comprehensive probabilistic framework. Switching is a critical factor that influences dynamic, active ...
104
Voted
ECBS
2009
IEEE
15 years 7 months ago
2009
IEEE
Probabilistic models are useful for analyzing systems which operate under the presence of uncertainty. In this paper, we present a technique for verifying safety and liveness prop...
103
click to vote
FSTTCS
2006
Springer
15 years 4 months ago
2006
Springer
In recent papers, the partial order reduction approach has been adapted to reason about the probabilities for temporal properties in concurrent systems with probabilistic behaviour...