1424 search results - page 184 / 285 » The Multi-radius Cover Problem |
106
click to vote
CAV
2009
Springer
16 years 3 months ago
2009
Springer
Abstract. We study the problem of determining, given a run of a concurrent program, whether there is any alternate execution of it that violates atomicity, where atomicity is defin...
106
click to vote
STOC
2003
ACM
16 years 3 months ago
2003
ACM
In this paper, we present the first average-case analysis proving an expected polynomial running time for an exact algorithm for the 0/1 knapsack problem. In particular, we prove,...
107
click to vote
ICCAD
2002
IEEE
15 years 12 months ago
2002
IEEE
In macromodeling-based power estimation, circuit macromodels are created from simulations of synthetic input vector sequences. Fast generation of these sequences with all possible...
113
click to vote
IUI
2010
ACM
15 years 12 months ago
2010
ACM
One of the critical problems in natural language interfaces is the discordance between the expressions covered by the interface and those by the knowledge base. In the graph-based...
116
click to vote
ICASSP
2009
IEEE
15 years 9 months ago
2009
IEEE
Whereas lecturing is the most widely used mode of instruction, we have explored small-group learning projects to make signal processing more appealing at the University and in Eng...