Sciweavers

1300 search results - page 18 / 260
» Probabilistic logic with independence
Sort
View
FASE
2003
Springer
14 years 1 months ago
Monad-Independent Hoare Logic in HASCASL
Lutz Schröder, Till Mossakowski
ICCAD
1990
IEEE
48views Hardware» more  ICCAD 1990»
14 years 19 days ago
High-Level Delay Estimation for Technology-Independent Logic Equations
David E. Wallace, Mandalagiri S. Chandrasekhar
FLAIRS
2000
13 years 10 months ago
Independence Semantics for BKBs
Bayesian KnowledgeBases (BKB)are a rule-based probabilistic modelthat extend BayesNetworks(BN), by allowing context-sensitive independenceand cycles in the directed graph. BKBshav...
Solomon Eyal Shimony, Eugene Santos Jr., Tzachi Ro...