Sciweavers

1925 search results - page 118 / 385
» Incremental test collections
Sort
View
SBBD
2004
82views Database» more  SBBD 2004»
15 years 7 months ago
Optimizing Ranking Calculation in Web Search Engines: a Case Study
Web search engines compete to offer the fastest responses with highest relevance. However, as Web collections grow, it becomes more difficult to achieve this purpose. As most user...
Miguel Costa, Mário J. Silva
TDM
2004
128views Database» more  TDM 2004»
15 years 7 months ago
Processing Content-And-Structure Queries for XML Retrieval
Document-centric XML collections contain text-rich documents, marked up with XML tags. The tags add lightweight semantics to the text. Querying such collections calls for a hybrid...
Börkur Sigurbjörnsson, Jaap Kamps, Maart...
ICAC
2006
IEEE
16 years 17 days ago
The Making of SimEAC
— In this short paper, we give a brief overview a simulation environment, SimEAC, which was designed for testing algorithms with strong autonomic features. SimEAC enables a user ...
David Chisnall, Min Chen
TABLEAUX
2005
Springer
15 years 12 months ago
The ILTP Library: Benchmarking Automated Theorem Provers for Intuitionistic Logic
The Intuitionistic Logic Theorem Proving (ILTP) Library provides a platfom for testing and benchmarking theorem provers for first-order intuitionistic logic. It includes a collect...
Thomas Raths, Jens Otten, Christoph Kreitz
CLEF
2004
Springer
15 years 10 months ago
GIRT and the Use of Subject Metadata for Retrieval
The use of domain-specific metadata (subject keywords) is tested for monolingual and bilingual retrieval on the GIRT social science collection. A new technique, Entry Vocabulary Mo...
Vivien Petras