Sciweavers

2163 search results - page 157 / 433
» On the Effectiveness of Relevance Profiling
Sort
View
CIKM
2004
Springer
15 years 12 months ago
Unified utility maximization framework for resource selection
This paper presents a unified utility framework for resource selection of distributed text information retrieval. This new framework shows an efficient and effective way to infer ...
Luo Si, James P. Callan
HT
1997
ACM
15 years 10 months ago
What the Query Told the Link: The Integration of Hypertext and Information Retrieval
Traditionally hypertexts have been limited in size by the manual effort required to create hypertext links. In addition, large hyper–linked collections may overwhelm users with ...
Gene Golovchinsky
CLEF
2009
Springer
15 years 4 months ago
Medical Image Retrieval: ISSR at CLEF 2009
This paper represents the first participation of the Institute of Statistical Studies and Research at Cairo University group in CLEF 2009-Medical image retrieval track. Our system...
Waleed Arafa, Ragia Ibrahim
CADE
2002
Springer
16 years 6 months ago
Formal Verification of a Java Compiler in Isabelle
This paper reports on the formal proof of correctness of a compiler from a substantial subset of Java source language to Java bytecode in the proof environment Isabelle. This work ...
Martin Strecker
GI
2003
Springer
15 years 11 months ago
Two-Factor Web Authentication Via Voice
: The increasing pressure for network accessible information and business applications demands secure, interoperable, cost efficient and user self-service authentication procedures...
Jörg Tacke, Andreas Wolf