3709 search results - page 297 / 742 » Supporting experimentation with Side-Views |
183
click to vote
VLDB
1994
ACM
15 years 10 months ago
1994
ACM
Full-text information retrieval systems have traditionally been designed for archival environments. They often provide little or no support for adding new documents to an existing...
191
click to vote
CAIP
2009
Springer
15 years 10 months ago
2009
Springer
Recently, performance prediction has been successfully applied in the field of information retrieval for content analysis and retrieval tasks. This paper discusses how performance ...
134
click to vote
DAC
2010
ACM
15 years 10 months ago
2010
ACM
Current tools for computer architecture design lack standard support for multi- and many-core development. We propose using circuit models to describe the multiple processor archi...
146
click to vote
ITP
2010
15 years 10 months ago
2010
Nitpick is a counterexample generator for Isabelle/HOL that builds on Kodkod, a SAT-based first-order relational model finder. Nitpick supports unbounded quantification, (co)ind...
165
click to vote
EDBT
2009
ACM
15 years 10 months ago
2009
ACM
We investigate the problem of refining SQL queries to satisfy cardinality constraints on the query result. This has applications to the many/few answers problems often faced by da...