3760 search results - page 22 / 752 » Logic-Based Probabilistic Modeling |
ICPR
2004
IEEE
16 years 26 days ago
2004
IEEE
GLVLSI
2005
IEEE
15 years 5 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 6 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 3 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...
144
click to vote
RSKT
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Decision-theoretic rough set models are a probabilistic extension of the algebraic rough set model. The required parameters for defining probabilistic lower and upper ap...