1647 search results - page 95 / 330 » Improved Randomized Approximation Algorithms for Lot-Sizing ... |
146
click to vote
ICCD
2001
IEEE
16 years 1 months ago
2001
IEEE
We present a simulation-based semi-formal verification method for sequential circuits described at the registertransfer level. The method consists of an iterative loop where cove...
159
click to vote
STOC
2010
ACM
15 years 9 months ago
2010
ACM
There has been much progress on geometric set cover problems, but most known techniques only apply to the unweighted setting. For the weighted setting, very few results are known ...
159
click to vote
ALGORITHMICA
2008
15 years 5 months ago
2008
Given a graph with edges colored Red and Blue, we wish to sample and approximately count the number of perfect matchings with exactly k Red edges. We study a Markov chain on the sp...
127
click to vote
ACSAC
2001
IEEE
15 years 8 months ago
2001
IEEE
It is a well-known problem that intrusion detection systems overload their human operators by triggering thousands of alarms per day. As a matter of fact, we have been asked by on...
181
click to vote
ICALP
2009
Springer
16 years 5 months ago
2009
Springer
We develop new structural results for apex-minor-free graphs and show their power by developing two new approximation algorithms. The first is an additive approximation for colorin...