1795 search results - page 341 / 359 » On the Complexity of Circuit Satisfiability |
114
click to vote
PODS
2008
ACM
15 years 12 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, ...
118
Voted
EDBT
2002
ACM
15 years 12 months ago
2002
ACM
Abstract. Estimating the sizes of query results, and intermediate results, is crucial to many aspects of query processing. In particular, it is necessary for effective query optimi...
155
click to vote
EDBT
2008
ACM
15 years 12 months ago
2008
ACM
Data exchange is the problem of transforming data structured under a schema (called source) into data structured under a different schema (called target). The emphasis of data exc...
LCTRTS
2010
Springer
15 years 6 months ago
2010
Springer
We describe the extension of a reactive programming language with a behavioral contract construct. It is dedicated to the programming of reactive control of applications in embedd...
SI3D
2009
ACM
15 years 6 months ago
2009
ACM
Stylized rendering methods, which aim at depicting 3D scenes with 2D marks such as pigments or strokes, are often faced with temporal coherence issues when applied to dynamic scen...