3918 search results - page 30 / 784 » Probabilistic model of triangulation |
ICIP
2002
IEEE
16 years 9 days ago
2002
IEEE
ICPR
2004
IEEE
15 years 11 months ago
2004
IEEE
GLVLSI
2005
IEEE
15 years 4 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 ...
ECBS
2009
IEEE
15 years 5 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...
FSTTCS
2006
Springer
15 years 2 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...