Search Sciweavers | Sciweavers

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 »

153

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

Download ciir.cs.umass.edu

Jody J. Daniels, Edwina L. Rissland

claim paper

Read More »

161

click to vote

EDBT
1994
ACM

109views Database» more EDBT 1994»

Supporting Full-Text Information Retrieval with a Persistent Object Store

15 years 11 months ago

Download reference.kfupm.edu.sa

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

claim paper

Read More »

121

Voted

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