Sciweavers

4903 search results - page 50 / 981
» The Set Covering Machine
Sort
View
130
Voted
FSTTCS
2010
Springer
15 years 21 days ago
Place-Boundedness for Vector Addition Systems with one zero-test
Reachability and boundedness problems have been shown decidable for Vector Addition Systems with one zero-test. Surprisingly, place-boundedness remained open. We provide here a va...
Rémi Bonnet, Alain Finkel, Jérô...
121
Voted
ESA
2006
Springer
134views Algorithms» more  ESA 2006»
15 years 6 months ago
A Unified Approach to Approximating Partial Covering Problems
An instance of the generalized partial cover problem consists of a ground set U and a family of subsets S 2U . Each element e U is associated with a profit p(e), whereas each su...
Jochen Könemann, Ojas Parekh, Danny Segev
110
Voted
APAL
2004
132views more  APAL 2004»
15 years 2 months ago
Canonical structure in the universe of set theory: part one
Abstract. We start by studying the relationship between two invariants isolated by Shelah, the sets of good and approachable points. As part of our study of these invariants, we pr...
James Cummings, Matthew Foreman, Menachem Magidor
SIGSOFT
2007
ACM
16 years 3 months ago
Towards incremental adaptive covering arrays
The increasing complexity of configurable software systems creates a need for more intelligent sampling mechanisms to detect and locate failure-inducing dependencies between confi...
Adam A. Porter, Myra B. Cohen, Sandro Fouché...
147
Voted
APPROX
2005
Springer
150views Algorithms» more  APPROX 2005»
15 years 8 months ago
A Primal-Dual Approximation Algorithm for Partial Vertex Cover: Making Educated Guesses
We study the partial vertex cover problem. Given a graph G = (V, E), a weight function w : V → R+ , and an integer s, our goal is to cover all but s edges, by picking a set of v...
Julián Mestre