1483 search results - page 129 / 297 » An Analysis of Factors Used in Search Engine Ranking |
TSE
2010
13 years 7 months ago
2010
—The Verifying Compiler (VC) project is a core component of the Dependable Systems Evolution Grand Challenge. The VC offers the promise of automatically proving that a program or...
WSDM
2009
ACM
14 years 3 months ago
2009
ACM
A lot of the world’s knowledge is stored in books, which, as a result of recent mass-digitisation efforts, are increasingly available online. Search engines, such as Google Book...
SIGSOFT
2010
ACM
13 years 6 months ago
2010
ACM
The global interaction behavior in message-based systems can be specified as a finite-state machine defining acceptable sequences of messages exchanged by a group of peers. Realiz...
IADIS
2003
13 years 10 months ago
2003
Query formulation is an essential part of successful information retrieval. The challenges in formulating effective queries are emphasized in web information search, because the w...
SIGIR
2012
ACM
11 years 11 months ago
2012
ACM
Many important search tasks require multiple search sessions to complete. Tasks such as travel planning, large purchases, or job searches can span hours, days, or even weeks. Inev...