3172 search results - page 450 / 635 » On the Random-Self-Reducibility of Complete Sets |
183
click to vote
SAT
2005
Springer
16 years 1 days ago
2005
Springer
Much attention has been given in recent years to the problem of finding Minimally Unsatisfiable Subformulas (MUSes) of Boolean formulas. In this paper, we present a new view of the...
154
click to vote
SPIRE
2005
Springer
16 years 1 days ago
2005
Springer
Retrieval systems rank documents according to their retrieval status values (RSV) if these are monotonously increasing with the probability of relevance of documents. In this work,...
183
click to vote
VIZSEC
2005
Springer
16 years 1 days ago
2005
Springer
This paper presents the Intrusion Detection toolkit (IDtk), an information Visualization tool for intrusion detection (ID). IDtk was developed through a user-centered design proce...
210
click to vote
VLDB
2005
ACM
16 years 1 days ago
2005
ACM
In recent years, the wide availability of personal data has made the problem of privacy preserving data mining an important one. A number of methods have recently been proposed fo...
178
click to vote
VSTTE
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. We present a framework for verifying that programs correctly preserve important data structure consistency properties. Results from our implemented system indicate that o...