6365 search results - page 1066 / 1273 » Fast Local Computation Algorithms |
178
click to vote
DAC
2003
ACM
16 years 7 months ago
2003
ACM
This paper presents a power grid analyzer based on a random walk technique. A linear-time algorithm is first demonstrated for DC analysis, and is then extended to perform transien...
269
click to vote
POPL
2006
ACM
16 years 7 months ago
2006
ACM
This paper specifies, via a Hoare-like logic, an interprocedural and flow sensitive (but termination insensitive) information flow analysis for object-oriented programs. Pointer a...
170
click to vote
ICCAD
2003
IEEE
16 years 3 months ago
2003
IEEE
Emerging VLSI technologies and platforms are giving rise to systems with inherently high potential for runtime failure. Such failures range from intermittent electrical and mechan...
163
click to vote
CVPR
2010
IEEE
16 years 3 months ago
2010
IEEE
In image restoration tasks, a heavy-tailed gradient distribution of natural images has been extensively exploited as an image prior. Most image restoration algorithms impose a spa...
216
click to vote
CVPR
2010
IEEE
16 years 3 months ago
2010
IEEE
In this paper, we deal with a generative model for multi-label, interactive segmentation. To estimate the pixel likelihoods for each label, we propose a new higher-order formulatio...