874 search results - page 67 / 175 » Computing Weighted Solutions in Answer Set Programming |
91
Voted
SAC
2009
ACM
15 years 7 months ago
2009
ACM
Code libraries are characterized by feature-richness — and, consequently, high overhead. The library specialization problem is the problem of obtaining a low-overhead version of...
110
Voted
CCE
2004
15 years 20 days ago
2004
Significant advances have been made in the last two decades for the effective solution of mixed integer non-linear programming (MINLP) problems, mainly by exploiting the special s...
88
Voted
ICCAD
2009
IEEE
14 years 10 months ago
2009
IEEE
The flip-chip package is introduced for modern IC designs with higher integration density and larger I/O counts. In this paper, we consider the pre-assignment flip-chip routing pr...
128
Voted
ICPR
2008
IEEE
16 years 2 months ago
2008
IEEE
Recognizing and localizing objects is a classical problem in computer vision that is an important stage for many automated systems. In order to perform object recognition many res...
124
click to vote
GRID
2006
Springer
15 years 24 days ago
2006
Springer
One of the first motivations of using grids comes from applications managing large data sets in field such as high energy physics or life sciences. To improve the global throughput...