12697 search results - page 284 / 2540 » Call for Papers |
168
click to vote
ILP
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. This paper is concerned with generalization issues for a decision tree learner for structured data called Alkemy. Motivated by error bounds established in statistical lea...
162
click to vote
IWINAC
2005
Springer
16 years 7 days ago
2005
Springer
This paper shows how empirical human reasoning traces can be formalised and automatically analysed against dynamic properties they fulfil. To this end, for the reasoning pattern c...
175
click to vote
LPAR
2005
Springer
16 years 7 days ago
2005
Springer
In this paper the Recursive Path Ordering is adapted for proving termination of rewriting incrementally. The new ordering, called Recursive Path Ordering with Modules, has as ingre...
181
click to vote
MLDM
2005
Springer
16 years 7 days ago
2005
Springer
This paper uses a set of 3D geometric measures with the purpose of characterizing lung nodules as malignant or benign. Based on a sample of 36 nodules, 29 benign and 7 malignant, t...
176
click to vote
PAKDD
2005
ACM
16 years 7 days ago
2005
ACM
Traditional multiple query optimization methods focus on identifying common subexpressions in sets of relational queries and on constructing their global execution plans. In this p...