846 search results - page 42 / 170 » Dependent rounding and its applications to approximation alg... |
CP
2008
Springer
13 years 9 months ago
2008
Springer
We present an incremental refinement algorithm for approximate compilation of constraint satisfaction models into multivalued decision diagrams (MDDs). The algorithm uses a vertex ...
ICARIS
2007
Springer
14 years 1 months ago
2007
Springer
Today’s signature-based intrusion detection systems are reactive in nature and storage-limited. Their operation depends upon catching an instance of an intrusion or virus and en...
OOPSLA
2005
Springer
14 years 1 months ago
2005
Springer
An approach to managing the architecture of large software systems is presented. Dependencies are extracted from the code by a conventional static analysis, and shown in a tabular...
CVPR
2010
IEEE
14 years 3 months ago
2010
IEEE
The α-expansion algorithm [4] has had a significant impact in computer vision due to its generality, effectiveness, and speed. Thus far it can only minimize energies that involv...
FOCS
2002
IEEE
14 years 18 days ago
2002
IEEE
We consider the classical vertex cover and set cover problems with the addition of hard capacity constraints. This means that a set (vertex) can only cover a limited number of its...