2611 search results - page 253 / 523 » A Logic for Concepts and Similarity |
231
click to vote
ICML
2007
IEEE
16 years 8 months ago
2007
IEEE
The paper presents a kernel for learning from ordered hypergraphs, a formalization that captures relational data as used in Inductive Logic Programming (ILP). The kernel generaliz...
180
Voted
MLDM
2009
Springer
16 years 2 months ago
2009
Springer
We consider a new data mining problem of detecting the members of a rare class of data, the needles, that have been hidden in a set of records, the haystack. Besides the haystack, ...
205
click to vote
SEMWEB
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. The WSMO-MX matchmaker applies different matching filters to retrieve WSMO-oriented service descriptions that are semantically relevant to a given query with respect to...
199
click to vote
ICTCS
2005
Springer
16 years 29 days ago
2005
Springer
Abstract. We consider a call-by-value language, with higher-order functions, records, references to values of arbitrary type, and subtyping. We adapt an intrinsic denotational mode...
176
Voted
AMAST
2004
Springer
16 years 26 days ago
2004
Springer
JavaFAN uses a Maude rewriting logic specification of the JVM semantics as the basis of a software analysis tool with competitive performance. It supports formal analysis of concu...