Sciweavers

3829 search results - page 515 / 766
» Improving Our Reviewing Processes
Sort
View
ICSE
2008
IEEE-ACM
16 years 7 months ago
Effecting change: coordination in large-scale software development
Large-scale software development requires coordination within and between very large engineering teams, each of which may be located in different locations and time zones. Numerou...
Andrew Begel
ICCAD
2008
IEEE
127views Hardware» more  ICCAD 2008»
16 years 4 months ago
Verification of arithmetic datapaths using polynomial function models and congruence solving
Abstract— This paper addresses the problem of solving finite word-length (bit-vector) arithmetic with applications to equivalence verification of arithmetic datapaths. Arithmet...
Neal Tew, Priyank Kalla, Namrata Shekhar, Sivaram ...
CVPR
2010
IEEE
16 years 3 months ago
Noise-Optimal Capture for High Dynamic Range Photography
Taking multiple exposures is a well-established approach both for capturing high dynamic range (HDR) scenes and for noise reduction. But what is the optimal set of photos to captur...
Samuel W. Hasinoff, Frédo Durand, and William T. ...
CVPR
2010
IEEE
16 years 3 months ago
A Spatially Varying PSF-based Prior for Alpha Matting
In this paper we considerably improve on a state-of-theart alpha matting approach by incorporating a new prior which is based on the image formation process. In particular, we mod...
Christoph Rhemann, Carsten Rother, Pushmeet Kohli,...
CVPR
2010
IEEE
16 years 3 months ago
Efficiently Selecting Regions for Scene Understanding
Recent advances in scene understanding and related tasks have highlighted the importance of using regions to reason about high-level scene structure. Typically, the regions are ...
M. Pawan Kumar, Daphne Koller