Sciweavers

1275 search results - page 183 / 255
» Are you having difficulty
Sort
View
KR
2000
Springer
15 years 9 months ago
Reduction rules and universal variables for first order tableaux and DPLL
Recent experimental results have shown that the strength of resolution, the propositional DPLL procedure, the KSAT procedure for description logics, or related tableau-like implem...
Fabio Massacci
CVPR
1997
IEEE
15 years 9 months ago
Empirical Bayesian EM-based Motion Segmentation
A recent trend in motion-based segmentation has been to rely on statistical procedures derived from ExpectationMaximization (EM) principles. EM-based approaches have various attra...
Nuno Vasconcelos, Andrew Lippman
SAFECOMP
2000
Springer
15 years 9 months ago
Assessment of the Reliability of Fault-Tolerant Software: A Bayesian Approach
Fault tolerant systems based on the use of software design diversity may be able to achieve high levels of reliability more cost-effectively than other approaches, such as heroic ...
Bev Littlewood, Peter T. Popov, Lorenzo Strigini
DL
1995
Springer
120views Digital Library» more  DL 1995»
15 years 9 months ago
A New Zealand Digital Library for Computer Science Research
: A large amount of computing literature has become available over the Internet, as university departments and research institutions have made their technical reports, preprints, a...
Ian H. Witten, Sally Jo Cunningham, Mahendra Valla...
KDD
1997
ACM
154views Data Mining» more  KDD 1997»
15 years 9 months ago
Autonomous Discovery of Reliable Exception Rules
This paper presents an autonomous algorithm for discovering exception rules from data sets. An exception rule, which is defined as a deviational pattern to a well-known fact, exhi...
Einoshin Suzuki