390 search results - page 37 / 78 » Probability Logic and Logical Probability |
149
click to vote
DAC
1997
ACM
15 years 7 months ago
1997
ACM
We propose a methodology for applying gate-level logic transformations to optimize power in digital circuits. Statistically simulated[14] switching information, gate delays, signa...
111
click to vote
JOLLI
2006
15 years 3 months ago
2006
Abstract. Propositional dynamic logic (PDL) provides a natural setting for semantics of means-end relations involving non-determinism, but such models do not include probabilistic ...
107
click to vote
ETS
2007
IEEE
15 years 9 months ago
2007
IEEE
— A novel statistical learning algorithm is proposed to accurately analyze volume diagnosis results. This algorithm effectively overcomes the inherent ambiguities in logic diagno...
149
click to vote
FORMATS
2004
Springer
15 years 9 months ago
2004
Springer
Probabilistic timed automata are timed automata extended with discrete probability distributions, and can be used to model timed randomised protocols or faulttolerant systems. We ...
93
Voted
APAL
2008
15 years 3 months ago
2008
We show that for random bit strings, Up(n), with probability, p = 1 2 , the firstorder quantifier depth D(Up(n)) needed to distinguish non-isomorphic structures is (lg lg n), with...