3342 search results - page 368 / 669 » Automating Abstract Interpretation |
161
click to vote
ECSQARU
2005
Springer
15 years 10 months ago
2005
Springer
This paper is part of a project to match real-world descriptions of instances of objects to models of objects. We use a rich ontology to describe s and models at multiple levels of...
129
click to vote
ICCBR
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. This paper summarises our work in textual Case-Based Reasoning within jCOLIBRI. We use Information Extraction techniques to annotate web pages to facilitate semantic retr...
139
click to vote
ILP
2005
Springer
15 years 10 months 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...
134
click to vote
ILP
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We study predicate selection functions (also known as splitting rules) for structural decision trees and propose two improvements to existing schemes. The first is in cl...
110
click to vote
LACL
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Some new algebras, which are possible denotations for various determiners, are studied. One of them is the algebra of generalised cardinal quantifiers which is a sub-alg...