4488 search results - page 422 / 898 » Focusing Search by Using Problem Solving Experience |
174
click to vote
ICCAD
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper solves the variation-aware on-chip decoupling capacitance (decap) budgeting problem. Unlike previous work assuming the worst-case current load, we develop a novel stocha...
165
click to vote
PR
2010
15 years 4 months ago
2010
The total variation-based image denoising model has been generalized and extended in numerous ways, improving its performance in different contexts. We propose a new penalty func...
160
click to vote
SIGMOD
2010
ACM
15 years 6 months ago
2010
ACM
In massively collaborative projects such as scientific or community databases, users often need to agree or disagree on the content of individual data items. On the other hand, tr...
166
Voted
CIKM
2008
Springer
15 years 8 months ago
2008
Springer
Although Locality-Sensitive Hashing (LSH) is a promising approach to similarity search in high-dimensional spaces, it has not been considered practical partly because its search q...
159
Voted
CADE
2006
Springer
16 years 6 months ago
2006
Springer
Abstract. Verification by network invariants is a heuristic to solve uniform verification of parameterized systems. Given a system P, a network invariant for P is that abstracts th...