Sciweavers

1949 search results - page 49 / 390
» A New Class Based Associative Classification Algorithm
Sort
View
124
Voted
DISOPT
2008
88views more  DISOPT 2008»
15 years 2 months ago
New updating criteria for conflict-based branching heuristics in DPLL algorithms for satisfiability
The paper is concerned with the computational evaluation and comparison of a new family of conflict-based branching heuristics for evolved DPLL Satisfiability solvers. Such a fami...
Renato Bruni, Andrea Santori
PLILP
1998
Springer
15 years 6 months ago
A Compiler for Rewrite Programs in Associative-Commutative Theories
Abstract. We address the problem of term normalisation modulo associativecommutative (AC) theories, and describe several techniques for compiling many-to-one AC matching and reduce...
Pierre-Etienne Moreau, Hélène Kirchn...
BMCBI
2008
122views more  BMCBI 2008»
15 years 2 months ago
Generating samples for association studies based on HapMap data
Background: With the completion of the HapMap project, a variety of computational algorithms and tools have been proposed for haplotype inference, tag SNP selection and genome-wid...
Jing Li, Yixuan Chen
ICCAD
2001
IEEE
89views Hardware» more  ICCAD 2001»
15 years 11 months ago
Sequential SPFDs
SPFDs are a mechanism to express flexibility in Boolean networks. Introduced by Yamashita et al. in the context of FPGA synthesis [4], they were extended later to general combina...
Subarnarekha Sinha, Andreas Kuehlmann, Robert K. B...
UAI
2004
15 years 3 months ago
MOB-ESP and other Improvements in Probability Estimation
A key prerequisite to optimal reasoning under uncertainty in intelligent systems is to start with good class probability estimates. This paper improves on the current best probabi...
Rodney Nielsen