898 search results - page 11 / 180 » A Linear Tabling Mechanism |
BIRTHDAY
2012
Springer
12 years 3 months ago
2012
Springer
We propose a new countermeasure to protect block ciphers implemented in leaking devices, at the intersection between One-Time Programs and Boolean masking schemes. First, we show t...
EDBTW
2004
Springer
14 years 1 months ago
2004
Springer
In this work, we investigate mechanisms to support data sharing and querying in a peer-to-peer data management system, that is, a peer-to-peer system where each peer manages its ow...
JELIA
2010
Springer
13 years 5 months ago
2010
Springer
Tabled Logic Programming (TLP) is becoming widely available in Prolog systems, but most implementations of TLP implement only answer variance in which an answer A is added to the t...
PADL
1999
Springer
13 years 12 months ago
1999
Springer
The copying approach to tabling (CAT) is an alternative to SLG-WAM and based on incrementally copying the areas that the SLG-WAM freezes to preserve execution states of suspended ...
KDD
1998
ACM
13 years 12 months ago
1998
ACM
Business users and analysts commonly use spreadsheets and 2D plots to analyze and understand their data. On-line Analytical Processing (OLAP) provides these users with added flexi...