1681 search results - page 121 / 337 » Speeding up keyword search for search engines |
143
click to vote
WSDM
2012
ACM
13 years 9 months ago
2012
ACM
We present a new approach for personalizing Web search results to a specific user. Ranking functions for Web search engines are typically trained by machine learning algorithms u...
129
click to vote
CIKM
2006
Springer
15 years 5 months ago
2006
Springer
We discuss information retrieval methods that aim at serving a diverse stream of user queries such as those submitted to commercial search engines. We propose methods that emphasi...
140
Voted
IPM
2007
15 years 1 months ago
2007
We consider a network of autonomous peers forming a logically global but physically distributed search engine, where every peer has its own local collection generated by independe...
106
click to vote
KBSE
2005
IEEE
15 years 7 months ago
2005
IEEE
Software verification using model checking often translates programs into corresponding transition systems that model the program behavior. As software systems continue to grow i...
105
click to vote
CPAIOR
2005
Springer
15 years 7 months ago
2005
Springer
Integration of explanations into a CSP solver is a technique addressing difficult question “why my problem has no solution”. Moreover, explanations together with advanced searc...