12841 search results - page 32 / 2569 » PL-detective: experiences and results |
129
Voted
WSDM
2012
ACM
13 years 8 months ago
2012
ACM
Today’s Web browsers allow users to open links in new windows or tabs. This action, which we call ‘branching’, is sometimes performed on search results when the user plans t...
109
click to vote
SIGMOD
2010
ACM
15 years 5 months ago
2010
ACM
Online aggregation is a promising solution to achieving fast early responses for interactive ad-hoc queries that compute aggregates on a large amount of data. Essential to the suc...
127
Voted
BMCBI
2008
15 years 18 days ago
2008
Background: Microarray analysis is an important area of bioinformatics. In the last few years, biclustering has become one of the most popular methods for classifying data from mi...
102
click to vote
WWW
2009
ACM
16 years 1 months ago
2009
ACM
Both search engine click-through log and social annotation have been utilized as user feedback for search result re-ranking. However, to our best knowledge, no previous study has ...
106
Voted
CF
2005
ACM
15 years 2 months ago
2005
ACM
Result checking is the theory and practice of proving that the result of an execution of a program on an input is correct. Result checking has most often been envisioned in the fr...