Sciweavers

352 search results - page 43 / 71
» On implementation choices for iterative improvement partitio...
Sort
View
GRAPHICSINTERFACE
2008
13 years 10 months ago
Layered variance shadow maps
Shadow maps are commonly used in real-time rendering, but they cannot be filtered linearly like standard color, resulting in severe aliasing. Variance shadow maps resolve this pro...
Andrew Lauritzen, Michael McCool
HICSS
1996
IEEE
102views Biometrics» more  HICSS 1996»
14 years 1 months ago
Evaluation of Parallel Logic Simulation Using DVSIM
Parallel simulation is expected to speed up simulation run time in a signi cant way. This paper describes a framework that is used to evaluate the performance of parallel simulati...
Gerd Meister
FMSD
2008
110views more  FMSD 2008»
13 years 9 months ago
Automatic symbolic compositional verification by learning assumptions
Abstract Compositional reasoning aims to improve scalability of verification tools by reducing the original verification task into subproblems. The simplification is typically base...
Wonhong Nam, P. Madhusudan, Rajeev Alur
CVPR
2012
IEEE
11 years 11 months ago
Saliency filters: Contrast based filtering for salient region detection
Saliency estimation has become a valuable tool in image processing. Yet, existing approaches exhibit considerable variation in methodology, and it is often difficult to attribute...
Federico Perazzi, Philipp Krähenbühl, Ya...
ICCV
2007
IEEE
14 years 3 months ago
Diffusion Tensor Image Smoothing Using Efficient and Effective Anisotropic Filtering
To improve the accuracy of tissue structural and architectural characterization with diffusion tensor imaging, an anisotropic smoothing algorithm is presented for reducing noise i...
Qing Xu 0003, Adam W. Anderson, John C. Gore, Zhao...