Sciweavers

390 search results - page 12 / 78
» Probability Logic and Logical Probability
Sort
View
DATE
2008
IEEE
76views Hardware» more  DATE 2008»
15 years 8 months ago
Signal Probability Based Statistical Timing Analysis
VLSI timing analysis and power estimation target the same circuit switching activity. Power estimation techniques are categorized as (1) static, (2) statistical, and (3) simulatio...
Bao Liu
ICLA
2009
Springer
15 years 8 months ago
Instantial Relevance in Polyadic Inductive Logic
Abstract. We show that under the assumptions of Spectrum Exchangeability and Language Invariance the so called Only Rule, a principle of instantial relevance previously know for un...
Jürgen Landes, Jeff B. Paris, Alena Vencovsk&...
ISIPTA
2005
IEEE
151views Mathematics» more  ISIPTA 2005»
15 years 7 months ago
Towards a Unifying Theory of Logical and Probabilistic Reasoning
Logic and probability theory have both a long history in science. They are mainly rooted in philosophy and mathematics, but are nowadays important tools in many other fields such...
Rolf Haenni
FSKD
2007
Springer
98views Fuzzy Logic» more  FSKD 2007»
15 years 8 months ago
Learning Selective Averaged One-Dependence Estimators for Probability Estimation
Naïve Bayes is a well-known effective and efficient classification algorithm, but its probability estimation performance is poor. Averaged One-Dependence Estimators, simply AODE,...
Qing Wang, Chuan-hua Zhou, Jiankui Guo
TSE
2011
134views more  TSE 2011»
14 years 8 months ago
Verifying the Evolution of Probability Distributions Governed by a DTMC
— We propose a new probabilistic temporal logic iLTL which captures properties of systems whose state can be represented by probability mass functions (pmf’s). Using iLTL, we c...
YoungMin Kwon, Gul A. Agha