487 search results - page 33 / 98 » A Model for Structured Document Retrieval: Empirical Investi... |
125
click to vote
ECIR
2007
Springer
15 years 1 months ago
2007
Springer
Abstract. We present a framework that assesses relevance with respect to several relevance criteria, by combining the query-dependent and query-independent evidence indicating thes...
ICML
2005
IEEE
16 years 19 days ago
2005
IEEE
The proliferation of text documents on the web as well as within institutions necessitates their convenient organization to enable efficient retrieval of information. Although tex...
108
click to vote
CORR
2010
Springer
14 years 12 months ago
2010
Springer
This paper presents an evaluation of the design decisions made in four state-of-the-art constraint solvers; Choco, ECLiPSe, Gecode, and Minion. To assess the impact of design deci...
CADE
2001
Springer
16 years 4 days ago
2001
Springer
This paper investigates optimization techniques and data structures exploiting the use of so-called pseudo models. These techniques are applied to speed up TBox and ABox reasoning ...
FCS
2006
15 years 1 months ago
2006
-- Boolean SAT problems are widespread in current demanding applications, most notably model checking for both hardware and software. It has long been known that the clause-to-vari...