48 search results - page 8 / 10 » Using Contracts and Boolean Queries to Improve the Quality o... |
HT
2010
ACM
14 years 13 days ago
2010
ACM
The rise of social interactions on the Web requires developing new methods of information organization and discovery. To that end, we propose a generative community-based probabil...
PLDI
2011
ACM
12 years 10 months ago
2011
ACM
Compilers should be correct. To improve the quality of C compilers, we created Csmith, a randomized test-case generation tool, and spent three years using it to find compiler bug...
IJCAI
2003
13 years 8 months ago
2003
Keyphrases are useful for a variety of purposes, including summarizing, indexing, labeling, categorizing, clustering, highlighting, browsing, and searching. The task of automatic ...
MICCAI
2006
Springer
14 years 8 months ago
2006
Springer
Although magnetic resonance imaging is considered to be non-invasive, there is at least one effect on the patient which has to be monitored: The heating which is generated by absor...
WWW
2004
ACM
14 years 8 months ago
2004
ACM
Organizing Web search results into a hierarchy of topics and subtopics facilitates browsing the collection and locating results of interest. In this paper, we propose a new hierar...