543 search results - page 36 / 109 » Using Induction to Refine Information Retrieval Strategies |
CIKM
2006
Springer
13 years 11 months ago
2006
Springer
This work addresses two common problems in search, frequently occurring with underspecified user queries: the top-ranked results for such queries may not contain documents relevan...
FMCAD
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. We relate two well-studied methodologies in deductive verification of operationally modeled sequential programs, namely the use of inductive invariants and clock functio...
CLEF
2007
Springer
14 years 1 months ago
2007
Springer
This paper reports the participation of the University of Lisbon at the 2007 GeoCLEF task. We adopted a novel approach for GIR, focused on handling geographic features and feature ...
ECIR
2010
Springer
13 years 9 months ago
2010
Springer
A known limitation of the Probability Ranking Principle (PRP) is that it does not cater for dependence between documents. Recently, the Quantum Probability Ranking Principle (QPRP)...
ICDE
2006
IEEE
14 years 1 months ago
2006
IEEE
The dream of pervasive multimedia retrieval and reuse will not be realized without incorporating semantics in the multimedia database. As video data is penetrating many informatio...