Search Sciweavers | Sciweavers

8311 search results - page 204 / 1663

» Phase-Based Information Retrieval

123

click to vote

TYPES
1999
Springer

116views Formal Methods» more TYPES 1999»

Information Retrieval in a Coq Proof Library Using Type Isomorphisms

15 years 7 months ago

Download cedric.cnam.fr

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

claim paper

Read More »

125

click to vote

ADL
1998
Springer

162views Digital Library» more ADL 1998»

An Object-Based Information Retrieval Model: Toward the Structural Construction of Thesauri

15 years 7 months ago

Download ozzy.chonbuk.ac.kr

J. J. Han, J. H. Choi, J. J. Park, J. D. Yang, J. ...

claim paper

Read More »

112

click to vote

ICCBR
1997
Springer

90views Automated Reasoning» more ICCBR 1997»

What You Saw Is What You Want: Using Cases to Seed Information Retrieval

15 years 7 months ago

Download ciir.cs.umass.edu

Jody J. Daniels, Edwina L. Rissland

claim paper

Read More »

109

click to vote

EDBT
1994
ACM

109views Database» more EDBT 1994»

Supporting Full-Text Information Retrieval with a Persistent Object Store

15 years 7 months ago

Download reference.kfupm.edu.sa

Eric W. Brown, James P. Callan, W. Bruce Croft, J....

claim paper

Read More »

click to vote

AIME
2009
Springer

112views Artificial Intelligence» more AIME 2009»

Multiple Terminologies in a Health Portal: Automatic Indexing and Information Retrieval

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers