651 search results - page 71 / 131 » Adding Search to Zinc |
ISCIS
2003
Springer
14 years 3 months ago
2003
Springer
Abstract. Term weighting is one of the most important aspects of modern Web retrieval systems. The weight associated with a given term in a document shows the importance of the ter...
CIKM
2009
Springer
14 years 2 months ago
2009
Springer
We systematically compare five representative state-of-theart methods for estimating query language models with pseudo feedback in ad hoc information retrieval, including two var...
MDIC
2001
Springer
14 years 2 months ago
2001
Springer
Querying and searching the Web is an important research field which has drawn a number of concepts from databases and information retrieval fields, but has added its own models, ...
EUROMICRO
1998
IEEE
14 years 2 months ago
1998
IEEE
The World-Wide Web consists not only of informational, but also computational resources. However, these resources, especially computational ones are underutilized. One characteris...
TYPES
1999
Springer
14 years 2 months ago
1999
Springer
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...