6082 search results - page 59 / 1217 » A System for Adaptive Information Retrieval |
TYPES
1999
Springer
15 years 2 months ago
1999
Springer
We propose a method to search for a lemma in a goq proof library by using the lemma type as a key. The method is based on the concept of type isomorphism developed within the funct...
108
click to vote
ISM
2006
IEEE
14 years 9 months ago
2006
IEEE
Similarity search is a fundamental operation for applications that deal with unstructured data sources. In this paper we propose a new pivot-based method for similarity search, ca...
JCST
2000
14 years 9 months ago
2000
: A mass of heterogeneous, distributed and dynamic information on the World Wide Web (the Web) has resulted in "information overload". It's an important and urgent r...
CIKM
1997
Springer
15 years 1 months ago
1997
Springer
: In the context of knowledge management, we focus on the representation and the retrieval of past experiences called cases within the Case-Based Reasoning (CBR) paradigm. CBR is a...
SIGIR
2006
ACM
15 years 3 months ago
2006
ACM
This poster investigates the use of theoretical benchmarks to describe the matching functions of XML retrieval systems and the properties of specificity and exhaustivity in XML r...