844 search results - page 30 / 169 » Safraless Decision Procedures |
BMCBI
2006
13 years 8 months ago
2006
Background: A large number of genes usually show differential expressions in a microarray experiment with two types of tissues, and the p-values of a proper statistical test are o...
AAAI
2008
13 years 11 months ago
2008
POIROT is an integration framework for combining machine learning mechanisms to learn hierarchical models of web services procedures from a single or very small set of demonstrati...
EUSFLAT
2003
13 years 10 months ago
2003
An interactive procedure for generating a user-tailored fuzzy preference relation on intervals is proposed. This procedure allows the decision maker to choose a preference relatio...
IANDC
2008
13 years 8 months ago
2008
We present a decision procedure for the description logic SHIQ based on the basic superposition calculus, and show that it runs in exponential time for unary coding of numbers. To...
ECAI
2004
Springer
14 years 12 days ago
2004
Springer
In this paper, we tackle the satisfiability problem for multi-context systems. First, we establish a satisfiability algorithm based on an encoding into propositional logic. Then, w...