Sciweavers

12336 search results - page 254 / 2468
» Active Information Retrieval
Sort
View
FOCS
1998
IEEE
15 years 11 months ago
Information Retrieval on the Web
Andrei Z. Broder, Monika Rauch Henzinger
TSD
1999
Springer
15 years 11 months ago
Document Title Patterns in Information Retrieval
Manuel Montes-y-Gómez, Alexander F. Gelbukh...
TYPES
1999
Springer
15 years 11 months ago
Information Retrieval in a Coq Proof Library Using Type Isomorphisms
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...
David Delahaye
ADL
1998
Springer
162views Digital Library» more  ADL 1998»
15 years 10 months ago
An Object-Based Information Retrieval Model: Toward the Structural Construction of Thesauri
J. J. Han, J. H. Choi, J. J. Park, J. D. Yang, J. ...