9532 search results - page 1795 / 1907 » Logic, Graphs, and Algorithms |
194
click to vote
SIGMOD
2008
ACM
15 years 11 months ago
2008
ACM
A major problem in detecting events in streams of data is that the data can be imprecise (e.g. RFID data). However, current state-ofthe-art event detection systems such as Cayuga ...
108
click to vote
PODS
2008
ACM
15 years 11 months ago
2008
ACM
We present a novel definition of privacy in the framework of offline (retroactive) database query auditing. Given information about the database, a description of sensitive data, ...
105
click to vote
ICCAD
2003
IEEE
15 years 8 months ago
2003
IEEE
Symbolic image computation is the most fundamental computation in BDD-based sequential system optimization and formal verification. In this paper, we explore the use of over-appr...
RECSYS
2009
ACM
15 years 5 months ago
2009
ACM
A functional dependency is a logical relationship amongst the attributes that define a table of data. Specifically, a functional dependency holds when the values of a subset of ...
IWNAS
2008
IEEE
15 years 5 months ago
2008
IEEE
— Distributed Hash Table (DHT) based algorithms have been proposed to solve the routing issues in large-scale Peer-to-Peer (P2P) applications. DHT systems create an elegant Peer-...