9359 search results - page 1473 / 1872 » Generalization Algorithms for Second-Order Terms |
184
click to vote
SAC
2008
ACM
15 years 6 months ago
2008
ACM
Automatic cost analysis has interesting applications in the context of verification and certification of mobile code. For instance, the code receiver can use cost information in o...
179
click to vote
CIKM
2010
Springer
15 years 5 months ago
2010
Springer
Scientists depend on literature search to find prior work that is relevant to their research ideas. We introduce a retrieval model for literature search that incorporates a wide ...
222
click to vote
PVLDB
2010
15 years 5 months ago
2010
Users who are unfamiliar with database query languages can search XML data sets using keyword queries. Previous work has shown that current XML keyword search methods, although in...
203
click to vote
SIGMOD
2010
ACM
15 years 5 months ago
2010
ACM
One useful feature that is missing from today’s database systems is an explain capability that enables users to seek clarifications on unexpected query results. There are two t...
218
click to vote
CIKM
2010
Springer
15 years 4 months ago
2010
Springer
Search nodes are single-purpose components of large Web search engines and their efficient implementation is critical to sustain thousands of queries per second and guarantee indi...