101 search results - page 8 / 21 » Understanding the Power of Clause Learning |
CCS
2008
ACM
13 years 9 months ago
2008
ACM
Machine learning has become a valuable tool for detecting and preventing malicious activity. However, as more applications employ machine learning techniques in adversarial decisi...
ICDM
2005
IEEE
14 years 1 months ago
2005
IEEE
Bayesian Network (BN) is a powerful network model, which represents a set of variables in the domain and provides the probabilistic relationships among them. But BN can handle dis...
WMTE
2002
IEEE
14 years 16 days ago
2002
IEEE
Wireless and mobile devices are beginning to offer stunning new technical capabilities for collaborative learning. Yet, researchers in this field must recognize the importance of ...
SAT
2009
Springer
14 years 2 months ago
2009
Springer
We propose a new incomplete algorithm for the Maximum Satisfiability (MaxSAT) problem on unweighted Boolean formulas, focused specifically on instances for which proving unsatis...
ICIW
2009
IEEE
14 years 2 months ago
2009
IEEE
IMS Learning Design (IMS LD) is a powerful and expressive educational modeling language, which is becoming a “de facto” encoding and interchange standard for activity-based co...