2190 search results - page 302 / 438 » Unweaving a web of documents |
201
click to vote
CAV
2011
Springer
14 years 10 months ago
2011
Springer
Abstract. Many automatic testing, analysis, and verification techniques for programs can effectively be reduced to a constraint-generation phase followed by a constraint-solving ...
201
click to vote
SIGIR
2011
ACM
14 years 9 months ago
2011
ACM
Versioned textual collections are collections that retain multiple versions of a document as it evolves over time. Important large-scale examples are Wikipedia and the web collect...
200
Voted
WSDM
2012
ACM
14 years 2 months ago
2012
ACM
Many vertical search tasks such as local search focus on specific domains. The meaning of relevance in these verticals is domain-specific and usually consists of multiple well-d...
195
Voted
WWW
2008
ACM
16 years 7 months ago
2008
ACM
The paper proposes identifying relevant information sources from the history of combined searching and browsing behavior of many Web users. While it has been previously shown that...
166
click to vote
ICEIS
2008
IEEE
16 years 1 months ago
2008
IEEE
As the Web has become a commodity, it is used for a variety of purposes and tasks that may require a great deal of cognitive efforts. However, most search engines developed for th...