390 search results - page 42 / 78 » Probability Logic and Logical Probability |
129
click to vote
SYNTHESE
2008
15 years 3 months ago
2008
This article goes to the foundations of Statistical Inference through a review of Carnap's logic theory of induction. From this point of view, it brings another solution to t...
111
Voted
HPCA
2004
IEEE
16 years 3 months ago
2004
IEEE
For highest performance, a modern microprocessor must be able to determine if an instruction is ready in the same cycle in which it is to be selected for execution. This creates a...
119
click to vote
GLVLSI
2007
IEEE
15 years 9 months ago
2007
IEEE
A probabilistic power estimation technique for combinational circuits is presented. A novel set of simple waveforms is the kernel of this technique. The transition density of each...
105
Voted
ICC
2007
IEEE
15 years 9 months ago
2007
IEEE
— This paper investigates the path protection problem in mesh networks under multiple generic risks. Disjoint logical links may fail simultaneously if they share the same compone...
118
Voted
TACAS
2005
Springer
15 years 9 months ago
2005
Springer
We present MC2 , what we believe to be the first randomized, Monte Carlo algorithm for temporal-logic model checking, the classical problem of deciding whether or not a property s...