Sciweavers

291 search results - page 13 / 59
» How Well Can Primal-Dual and Local-Ratio Algorithms Perform
Sort
View
JSAT
2008
85views more  JSAT 2008»
15 years 1 months ago
Parallel SAT Solving using Bit-level Operations
We show how to exploit the 32/64 bit architecture of modern computers to accelerate some of the algorithms used in satisfiability solving by modifying assignments to variables in ...
Marijn Heule, Hans van Maaren
AAAI
1998
15 years 2 months ago
On the Conversion between Non-Binary and Binary Constraint Satisfaction Problems
It is well known that any non-binary discrete constraint satisfaction problem (CSP) can be translated into an equivalent binary CSP. Two translations are known: the dual graph tra...
Fahiem Bacchus, Peter van Beek
KDD
1998
ACM
112views Data Mining» more  KDD 1998»
15 years 5 months ago
Evaluating Usefulness for Dynamic Classification
This paper develops the concept of usefulness in the context of supervised learning. We argue that usefulness can be used to improve the performance of classification rules (as me...
Gholamreza Nakhaeizadeh, Charles Taylor, Carsten L...
ICAC
2008
IEEE
15 years 7 months ago
Clustering Analysis for the Management of Self-Monitoring Device Networks
Abstract— The increasing computing and communication capabilities of multi-function devices (MFDs) have enabled networks of such devices to provide value-added services. This has...
Andres Quiroz, Manish Parashar, Nathan Gnanasamban...
UAI
2001
15 years 2 months ago
Efficient Stepwise Selection in Decomposable Models
In this paper, we present an efficient algorithm for performing stepwise selection in the class of decomposable models. We focus on the forward selection procedure, but we also di...
Amol Deshpande, Minos N. Garofalakis, Michael I. J...