Sciweavers

12272 search results - page 2016 / 2455
» Experimental program analysis
Sort
View
SIGIR
2004
ACM
16 years 8 days ago
Usefulness of hyperlink structure for query-biased topic distillation
In this paper, we introduce an information theoretic method for estimating the usefulness of the hyperlink structure induced from the set of retrieved documents. We evaluate the e...
Vassilis Plachouras, Iadh Ounis
SIGIR
2004
ACM
16 years 8 days ago
Evaluating high accuracy retrieval techniques
Although information retrieval research has always been concerned with improving the effectiveness of search, in some applications, such as information analysis, a more specific ...
Chirag Shah, W. Bruce Croft
SIGIR
2004
ACM
16 years 8 days ago
Multiple sources of evidence 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...
ADVIS
2004
Springer
16 years 8 days ago
Multiple Sets of Rules for Text Categorization
An important issue in text mining is how to make use of multiple pieces knowledge discovered to improve future decisions. In this paper, we propose a new approach to combining mult...
Yaxin Bi, Terry J. Anderson, Sally I. McClean
CAV
2004
Springer
123views Hardware» more  CAV 2004»
16 years 7 days ago
SAL 2
SAL 2 augments the specification language and explicit-state model checker of SAL 1 with high-performance symbolic and bounded model checkers, and with novel infinite bounded and...
Leonardo Mendonça de Moura, Sam Owre, Haral...
« Prev « First page 2016 / 2455 Last » Next »