2526 search results - page 15 / 506 » A New Algorithm for Answer Set Computation |
117
click to vote
EDBT
2009
ACM
15 years 6 months ago
2009
ACM
Twig queries have been extensively studied as a major fragment of XPATH queries to query XML data. In this paper, we study PXMLRANK query, (Q, k), which is to rank top-k probabili...
110
click to vote
ICSE
2008
IEEE-ACM
16 years 21 days ago
2008
IEEE-ACM
When software developers want to understand the reason for a program's behavior, they must translate their questions about the behavior into a series of questions about code,...
124
click to vote
JAPLL
2010
14 years 10 months ago
2010
Answering queries over an incomplete database w.r.t. a set of constraints is an important computational task with applications in fields as diverse as information integration and ...
114
click to vote
SOFSEM
2007
Springer
15 years 6 months ago
2007
Springer
We investigate randomised algorithms for subset matching with spatial point sets—given two sets of d-dimensional points: a data set T consisting of n points and a pattern P consi...
ECAI
2008
Springer
15 years 1 months ago
2008
Springer
We provide a characterization of Horn cores for formulas in conjunctive normal form (CNF) and, based on it, a novel algorithm for computing Horn cores of disjunctions of Horn CNFs ...