2853 search results - page 466 / 571 » On the Efficiency of Provenance Queries |
AICOM
2010
15 years 1 days ago
2010
SOLAR (SOL for Advanced Reasoning) is a first-order clausal consequence finding system based on the SOL (Skip Ordered Linear) tableau calculus. The ability to find non-trivial cons...
CC
2008
Springer
15 years 13 hour ago
2008
Springer
There exists a positive constant < 1 such that for any function T(n) n and for any problem L BPTIME(T(n)), there exists a deterministic algorithm running in poly(T(n)) time w...
CVGIP
2010
14 years 12 months ago
2010
We present a novel parallel algorithm for fast continuous collision detection (CCD) between deformable models using multi-core processors. We use a hierarchical representation to ...
104
click to vote
DEBU
2010
14 years 12 months ago
2010
In spatio-temporal applications, moving objects detect their locations via location-aware devices and update their locations continuously to the server. With the ubiquity and mass...
111
click to vote
DEBU
2008
14 years 12 months ago
2008
The Pathfinder project makes inventive use of relational database technology--originally developed to process data of strictly tabular shape--to construct efficient database-suppo...