Sciweavers

9842 search results - page 1295 / 1969
» The Complexity of the Matching-Cut Problem
Sort
View
PSD
2004
Springer
132views Database» more  PSD 2004»
16 years 24 days ago
Computational Experiments with Minimum-Distance Controlled Perturbation Methods
Minimum-distance controlled perturbation is a recent family of methods for the protection of statistical tabular data. These methods are both efficient and versatile, since can dea...
Jordi Castro
SAS
2004
Springer
105views Formal Methods» more  SAS 2004»
16 years 24 days ago
Type Inference Against Races
Abstract. The race condition checker rccjava uses a formal type system to statically identify potential race conditions in concurrent Java programs, but it requires programmer-supp...
Cormac Flanagan, Stephen N. Freund
SAT
2004
Springer
101views Hardware» more  SAT 2004»
16 years 24 days ago
Detecting Backdoor Sets with Respect to Horn and Binary Clauses
We study the parameterized complexity of detecting backdoor sets for instances of the propositional satisfiability problem (SAT) with respect to the polynomially solvable classes ...
Naomi Nishimura, Prabhakar Ragde, Stefan Szeider
WAOA
2004
Springer
112views Algorithms» more  WAOA 2004»
16 years 23 days ago
Online Bin Packing with Resource Augmentation
In competitive analysis, we usually do not put any restrictions on the computational complexity of online algorithms, although efficient algorithms are preferred. Thus if such an...
Leah Epstein, Rob van Stee
WWW
2010
ACM
16 years 22 days ago
Keyword search over key-value stores
Key-value stores (KVSs) are the most prevalent storage systems for large scale web services. As they do not have the structural complexities of RDBMSs, they are more efficient. In...
Arash Termehchy, Marianne Winslett
« Prev « First page 1295 / 1969 Last » Next »