3820 search results - page 648 / 764 » Bounded Model Debugging |
103
click to vote
ICCAD
1994
IEEE
15 years 6 months ago
1994
IEEE
In this paper, we study the simultaneousdriver and wire sizing (SDWS) problem under two objective functions: (i) delay minimization only, or (ii) combined delay and power dissipat...
121
Voted
ICALP
1992
Springer
15 years 6 months ago
1992
Springer
Abstract. We investigate the complexity of merging sequences of small integers on the EREW PRAM. Our most surprising result is that two sorted sequences of n bits each can be merge...
100
click to vote
ISAAC
1992
Springer
15 years 6 months ago
1992
Springer
In the multilevel generalized assignment problem (MGAP) agents can perform tasks at more than one efficiency level. Important manufacturing problems, such as lot sizing, can be ea...
119
click to vote
COLT
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. The classical perceptron algorithm is an elementary algorithm for solving a homogeneous linear inequality system Ax > 0, with many important applications in learning t...
117
click to vote
ECCV
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Visual dictionary learning and base (binary) classifier training are two basic problems for the recently most popular image categorization framework, which is based on t...