2608 search results - page 260 / 522 » Inferring Answers to Queries |
149
click to vote
CADE
2001
Springer
16 years 7 months ago
2001
Springer
A boolean formula in conjunctive normal form (CNF) F is refuted by literal?once resolution if the empty clause is inferred from F by resolving on each literal of F at most once. Li...
183
click to vote
ERSHOV
2006
Springer
15 years 10 months ago
2006
Springer
Information systems support data privacy by constraining user's access to public views and thereby hiding the non-public underlying data. The privacy problem is to prove that ...
156
click to vote
PODS
2003
ACM
16 years 6 months ago
2003
ACM
A query against a database behind a site like Napster may search, e.g., for all users who have downloaded more jazz titles than pop music titles. In order to express such queries,...
153
click to vote
EDBT
2006
ACM
16 years 6 months ago
2006
ACM
Navigational queries on Web-accessible life science sources pose unique query optimization challenges. The objects in these sources are interconnected to objects in other sources, ...
159
click to vote
ICDE
2010
IEEE
16 years 6 months ago
2010
IEEE
1 We consider the problem of similarity search in applications where the cost of computing the similarity between two records is very expensive, and the similarity measure is not a...