2771 search results - page 146 / 555 » Locality of Queries and Transformations |
161
click to vote
FMCAD
2008
Springer
15 years 7 months ago
2008
Springer
Automatic techniques for software verification focus on obtaining witnesses of program failure. Such counterexamples often fail to localize the precise cause of an error and usuall...
153
click to vote
SIGMOD
1998
ACM
15 years 10 months ago
1998
ACM
Caching has been proposed (and implemented) by OLAP systems in order to reduce response times for multidimensional queries. Previous work on such caching has considered table leve...
173
click to vote
CLEF
2004
Springer
15 years 11 months ago
2004
Springer
We describe our experiments for the Image CLEF medical retrieval task. Our efforts were focused on the initial visual search. A content based approach was followed. We used textur...
171
click to vote
CCCG
2010
15 years 7 months ago
2010
Given a bounded universe {0, 1, . . . , U-1}, we show how to perform (successor) searches in O(log log ) expected time and updates in O(log log ) expected amortized time, where i...
176
click to vote
VLDB
1987
ACM
15 years 9 months ago
1987
ACM
is at least ae powerful as SQL. Two well known relational query languages that have a sound theoretical foundation are relational algebra and relational calculus. As SQL is more cl...