1413 search results - page 50 / 283 » ideas 2007 |
PKDD
2007
Springer
15 years 6 months ago
2007
Springer
Centroid Classifier has been shown to be a simple and yet effective method for text categorization. However, it is often plagued with model misfit (or inductive bias) incurred by i...
RTA
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. We give a simple and direct proof that super-consistency implies cut elimination in deduction modulo. This proof can be seen as a simplification of the proof that super-...
103
click to vote
SEMWEB
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. This paper presents a method for making metadata conforming to heterogeneous schemas semantically interoperable. The idea is to make the knowledge embedded in the schema ...
SUM
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. The paper presents a valued extension of the recently introduced concept of PQI interval order. The main idea is that, while comparing objects represented by interval of ...
TYPES
2007
Springer
15 years 6 months ago
2007
Springer
We present a procedure for computing normal forms of terms in Abadi and Cardelli’s functional object calculus. Even when equipped with simple types, terms of this calculus are no...