Search Sciweavers | Sciweavers

8301 search results - page 77 / 1661

» Risk-Aware Information Retrieval

click to vote

TSD
1999
Springer

84views Signal Processing» more TSD 1999»

Document Title Patterns in Information Retrieval

14 years 2 days ago

Download ccc.inaoep.mx

Manuel Montes-y-Gómez, Alexander F. Gelbukh...

claim paper

Read More »

click to vote

TYPES
1999
Springer

116views Formal Methods» more TYPES 1999»

Information Retrieval in a Coq Proof Library Using Type Isomorphisms

14 years 2 days 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 »

click to vote

ADL
1998
Springer

162views Digital Library» more ADL 1998»

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

14 years 1 days ago

Download ozzy.chonbuk.ac.kr

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

claim paper

Read More »

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

13 years 12 months ago

Download ciir.cs.umass.edu

Jody J. Daniels, Edwina L. Rissland

claim paper

Read More »

click to vote

EDBT
1994
ACM

109views Database» more EDBT 1994»

Supporting Full-Text Information Retrieval with a Persistent Object Store

13 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers