436 search results - page 56 / 88 » Lightweight Rule Induction |
FSTTCS
2003
Springer
14 years 3 months ago
2003
Springer
Abstract. Transactions are commonly described as being ACID: Allor-nothing, Consistent, Isolated and Durable. However, although these words convey a powerful intuition, the ACID pr...
BIRTHDAY
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. Loops and other unbound control structures constitute a major bottleneck in formal software verification, because correctness proofs over such control structures generall...
AIIA
2003
Springer
14 years 1 months ago
2003
Springer
The aim of this paper is to show how abduction can be used in classification tasks when we deal with incomplete data. Some classifiers, even if based on decision tree induction lik...
IJIS
2011
13 years 1 months ago
2011
The number of clinical trials reports is increasing rapidly due to a large number of clinical trials being conducted, it therefore raises an urgent need to utilize the clinical kno...
BIRTHDAY
2007
Springer
14 years 4 months ago
2007
Springer
Superdeduction is a systematic way to extend a deduction system like the sequent calculus by new deduction rules computed from the user theory. We show how this could be done in a ...