2362 search results - page 336 / 473 » A General Language Model for Information Retrieval |
145
click to vote
PLDI
2003
ACM
15 years 9 months ago
2003
ACM
Typed assembly languages provide a way to generate machinecheckable safety proofs for machine-language programs. But the soundness proofs of most existing typed assembly languages...
122
click to vote
DBPL
1993
Springer
15 years 8 months ago
1993
Springer
Fox Finding Objects of eXperiments is the declarative query language for Moose Modeling Objects Of Scienti c Experiments , an object-oriented data model at the core of a scient...
150
click to vote
SIGIR
2008
ACM
15 years 4 months ago
2008
ACM
Several recent studies have found only a weak relationship between the performance of a retrieval system and the "success" achievable by human searchers. We hypothesize ...
143
click to vote
WWW
2002
ACM
16 years 5 months ago
2002
ACM
HTML documents composed of frames can be difficult to write correctly. We demonstrate a technique that can be used by authors manually creating HTML documents (or by document edit...
156
click to vote
WWW
2005
ACM
16 years 5 months ago
2005
ACM
In this paper a TV recommender system called AVATAR (AdVAnce Telematic search of Audiovisual contents by semantic Reasoning) is presented. This tool uses the experience gained in ...