181 search results - page 16 / 37 » New Inference Rules for Max-SAT |
ML
2000
ACM
13 years 8 months ago
2000
ACM
The naive Bayesian classifier provides a simple and effective approach to classifier learning, but its attribute independence assumption is often violated in the real world. A numb...
EUSFLAT
2007
13 years 10 months ago
2007
Systems which use a fuzzy rule base and an inference mechanisms are quite frequently used in many applications. Fuzzy rules and inference mechanisms can be described by a system o...
ICFP
1999
ACM
14 years 1 months ago
1999
ACM
Deforestation optimises a functional program by transforming it into another one that does not create certain intermediate data structures. Short cut deforestation is a deforestat...
SAC
2009
ACM
14 years 3 months ago
2009
ACM
Many general-purpose, object-oriented scripting languages are dynamically typed, to keep the language flexible and not reject any programs unnecessarily. However, dynamic typing ...
CTRS
1990
14 years 1 months ago
1990
Completion procedures, originated from the seminal work of Knuth and Bendix, are wellknown as procedures for generating confluent rewrite systems, i.e. decision procedures for al ...