6906 search results - page 1074 / 1382 » An algorithm for modelling key terms |
169
click to vote
SAC
2006
ACM
16 years 2 days ago
2006
ACM
In this paper we propose a recommender system that helps users to navigate though the Web by providing dynamically generated links to pages that have not yet been visited and are ...
162
click to vote
SIGIR
2006
ACM
16 years 2 days ago
2006
ACM
New types of document collections are being developed by various web services. The service providers keep track of non-textual features such as click counts. In this paper, we pre...
170
Voted
SIGIR
2006
ACM
16 years 2 days ago
2006
ACM
Combining the output from multiple retrieval sources over the same document collection is of great importance to a number of retrieval tasks such as multimedia retrieval, web retr...
150
Voted
SLIP
2006
ACM
16 years 2 days ago
2006
ACM
Manufacturable design requires matching of interconnects which have equal nominal dimensions. New design rules are projected to bring guarantee rules for interconnect matching. In...
144
click to vote
GLVLSI
2005
IEEE
15 years 11 months ago
2005
IEEE
Boolean Satisfiability (SAT) solvers are popular engines used throughout the verification world. Bounded sequential problems such as bounded model checking and bounded sequentia...