276 search results - page 43 / 56 » E-learning by Doing with Computational Logic |
141
click to vote
ICCAD
2008
IEEE
16 years 3 months ago
2008
IEEE
Functional decomposition is a fundamental operation in logic synthesis. Prior BDD-based approaches to functional decomposition suffer from the memory explosion problem and do not...
149
click to vote
ICDT
2007
ACM
16 years 9 days ago
2007
ACM
Abstract. We define and study formal privacy guarantees for information integration systems, where sources are related to a public schema by mappings given by source-to-target dep...
141
click to vote
ICPADS
2006
IEEE
16 years 5 days ago
2006
IEEE
Several IP Traceback schemes employing packet marking have been proposed to trace DoS/DDoS attacks that use source address spoofing. The major challenges in the design of an ef...
185
click to vote
IEEEPACT
2005
IEEE
15 years 11 months ago
2005
IEEE
Helper threading is a technique that utilizes a second core or logical processor in a multi-threaded system to improve the performance of the main thread. A helper thread executes...
184
click to vote
AGP
1999
IEEE
15 years 10 months ago
1999
IEEE
Disunification is the problem of deciding satisfiability of a system of equations and disequations with respect to a given equational theory. In this paper we study the disunifica...