1078 search results - page 163 / 216 » The Modal Logic of Probability |
140
click to vote
NMR
2004
Springer
15 years 6 months ago
2004
Springer
A logic is defined which in addition to propositional calculus contains several types of probabilistic operators which are applied only to propositional formulas. For every s ∈...
118
click to vote
MEMOCODE
2007
IEEE
15 years 7 months ago
2007
IEEE
Due to the rapidly growing speed and the decreasing size of gates in modern chips, the probability of faults caused by the production process grows. Already small variations lead ...
134
click to vote
VMCAI
2010
Springer
15 years 10 months ago
2010
Springer
In the recent years, there have been a large amount of investigations on safety verification of uncertain continuous systems. In engineering and applied mathematics, this verificat...
85
Voted
ICMCS
2005
IEEE
15 years 6 months ago
2005
IEEE
Temporal video segmentation is one of the fundamental and essential tasks in video processing, understanding and management. In this paper, we present an automatic method for segm...
125
Voted
DAC
1997
ACM
15 years 4 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...