Search Sciweavers | Sciweavers

8298 search results - page 245 / 1660

» Query-Free Information Retrieval

172

click to vote

TYPES
1999
Springer

116views Formal Methods» more TYPES 1999»

Information Retrieval in a Coq Proof Library Using Type Isomorphisms

15 years 10 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 »

168

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 10 months ago

Download ozzy.chonbuk.ac.kr

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

claim paper

Read More »

151

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 10 months ago

Download ciir.cs.umass.edu

Jody J. Daniels, Edwina L. Rissland

claim paper

Read More »

154

click to vote

EDBT
1994
ACM

109views Database» more EDBT 1994»

Supporting Full-Text Information Retrieval with a Persistent Object Store

15 years 10 months ago

Download reference.kfupm.edu.sa

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

claim paper

Read More »

116

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 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers