Sciweavers

8349 search results - page 200 / 1670

» Introduction to Information Retrieval

114

DEXAW
2000
IEEE

78views Database» more DEXAW 2000»

Building Bayesian Network-Based Information Retrieval Systems

15 years 11 months ago

Building Bayesian Network-Based Information Retrieval Systems

Download decsai.ugr.es

Luis M. de Campos, Juan M. Fernández-Luna, ...

claim paper

Read More »

114

MSE
2000
IEEE

115views Hardware» more MSE 2000»

Applications of Image Understanding in Semantics-Oriented Multimedia Information Retrieval

15 years 11 months ago

Applications of Image Understanding in Semantics-Oriented Multimedia Information Retrieval

Download www.cedar.buffalo.edu

Zhongfei (Mark) Zhang, Rohini K. Srihari, Aibing R...

claim paper

Read More »

101

FOCS
1998
IEEE

74views Theoretical Computer Science» more FOCS 1998»

Information Retrieval on the Web

15 years 10 months ago

Information Retrieval on the Web

Download www.ischool.utexas.edu

Andrei Z. Broder, Monika Rauch Henzinger

claim paper

Read More »

134

TSD
1999
Springer

84views Signal Processing» more TSD 1999»

Document Title Patterns in Information Retrieval

15 years 10 months ago

Document Title Patterns in Information Retrieval

Download ccc.inaoep.mx

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

claim paper

Read More »

172

TYPES
1999
Springer

116views Formal Methods» more TYPES 1999»

Information Retrieval in a Coq Proof Library Using Type Isomorphisms

15 years 10 months ago

Information Retrieval in a Coq Proof Library Using Type Isomorphisms

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 »

« Prev « First page 200 / 1670 Last » Next »