687 search results - page 52 / 138 » Query Transformation for PSJ-Queries |
ECAI
2008
Springer
13 years 10 months ago
2008
Springer
We extend the knowledge compilation map introduced by Darwiche and Marquis with new propositional fragments obtained by applying closure principles to several fragments studied so...
ICASSP
2010
IEEE
13 years 9 months ago
2010
IEEE
A new method is introduced that makes use of sparse image representations to search for approximate nearest neighbors (ANN) under the normalized inner-product distance. The approa...
ENTCS
2006
13 years 8 months ago
2006
Context and sequence variables allow matching to explore term-trees both in depth and in breadth. It makes context sequence matching a suitable computational mechanism for a rule-...
ICDT
2003
ACM
14 years 1 months ago
2003
ACM
We investigate the typechecking problem for XML queries: statically verifying that every answer to a query conforms to a given output schema, for inputs satisfying a given input sc...
FPGA
2006
ACM
14 years 11 days ago
2006
ACM
This paper presents an equation-based resource utilization model for automatically generated discrete Fourier transform (DFT) soft core IPs. The parameterized DFT IP generator all...