1999 search results - page 281 / 400 » Finding Reductions Automatically |
109
click to vote
OSDI
2006
ACM
16 years 1 months ago
2006
ACM
Automatic tools for finding software errors require a set of specifications before they can check code: if they do not know what to check, they cannot find bugs. This paper presen...
125
Voted
CIKM
2007
Springer
15 years 7 months ago
2007
Springer
Opinion retrieval is a document retrieval process, which requires documents to be retrieved and ranked according to their opinions about a query topic. A relevant document must sa...
140
click to vote
ACMSE
2006
ACM
15 years 3 months ago
2006
ACM
A code clone represents a sequence of statements that are duplicated in multiple locations of a program. Clones often arise in source code as a result of multiple cut/paste operat...
127
click to vote
IJCAI
2003
15 years 2 months ago
2003
We overview the development of first-order automated reasoning systems starting from their early years. Based on the analysis of current and potential applications of such systems...
109
click to vote
TREC
2004
15 years 2 months ago
2004
This paper reports on work done for the Genomics Track at TREC 2004 by ConverSpeech LLC in conjunction with scientists at the Saccharomyces Genome Database (SGD), the model organi...