Sciweavers

390 search results - page 36 / 78
» Probability Logic and Logical Probability
Sort
View
147
Voted
PKDD
2010
Springer
168views Data Mining» more  PKDD 2010»
15 years 1 months ago
Bayesian Knowledge Corroboration with Logical Rules and User Feedback
Current knowledge bases suffer from either low coverage or low accuracy. The underlying hypothesis of this work is that user feedback can greatly improve the quality of automatica...
Gjergji Kasneci, Jurgen Van Gael, Ralf Herbrich, T...
157
Voted
NMR
2004
Springer
15 years 8 months ago
A probabilistic approach to default reasoning
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 ∈...
Miodrag Raskovic, Zoran Ognjanovic, Zoran Markovic
MEMOCODE
2007
IEEE
15 years 9 months ago
Combining Multi-Valued Logics in SAT-based ATPG for Path Delay Faults
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 ...
Stephan Eggersglüß, Görschwin Fey,...
VMCAI
2010
Springer
16 years 23 days ago
Advances in Probabilistic Model Checking
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...
Joost-Pieter Katoen
113
Voted
ICMCS
2005
IEEE
129views Multimedia» more  ICMCS 2005»
15 years 9 months ago
Automatic Segmentation of Home Videos
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...
Yun Zhai, Mubarak Shah