1743 search results - page 226 / 349 » Generalized Modal Satisfiability |
115
Voted
EDBT
2010
ACM
15 years 11 months ago
2010
ACM
The existing solutions to privacy preserving publication can be classified into the theoretical and heuristic categories. The former guarantees provably low information loss, whe...
147
Voted
SAC
2009
ACM
15 years 11 months ago
2009
ACM
We introduce a new data mining problem: mining truth tables in binary datasets. Given a matrix of objects and the properties they satisfy, a truth table identifies a subset of pr...
137
click to vote
SAC
2009
ACM
15 years 11 months ago
2009
ACM
Energy management is a critical concern in the design of embedded systems to prolong the lifetime or to maximize the performance under energy constraints. In particular, the emerg...
109
click to vote
ESOP
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Multithreaded programs are prone to errors caused by unintended interference between concurrent threads. This paper focuses on verifying that deterministically-parallel c...
110
click to vote
PAKDD
2009
ACM
15 years 11 months ago
2009
ACM
Atypical behaviours are the basis of a valuable knowledge in domains related to security (e.g. fraud detection for credit card [1], cyber security [4] or safety of critical systems...