7 search results - page 1 / 2 » Extending Partial Deduction to Tabled Execution: Some Result... |
CSUR
1998
13 years 4 months ago
1998
AAAI
2007
13 years 7 months ago
2007
We explore a means to both model and reason about partial observability within the scope of constraintbased temporal reasoning. Prior studies of uncertainty in Temporal CSPs have ...
PLDI
2003
ACM
13 years 10 months ago
2003
ACM
Speculative execution, such as control speculation and data speculation, is an effective way to improve program performance. Using edge/path profile information or simple heuristi...
FPGA
2001
ACM
13 years 9 months ago
2001
ACM
The partial reconfiguration feature of some of the currentgeneration Field Programmable Gate Arrays (FPGAs) can improve dependability by detecting and correcting errors in onchip ...
SIGMOD
2000
ACM
13 years 9 months ago
2000
ACM
We present WSQ/DSQ (pronounced “wisk-disk”), a new approach for combining the query facilities of traditional databases with existing search engines on the Web. WSQ, for Web-S...