Sciweavers

933 search results - page 75 / 187
» A Fully Automatic hp-Adaptivity
Sort
View
93
Voted
CAV
2004
Springer
159views Hardware» more  CAV 2004»
15 years 6 months ago
Static Program Analysis via 3-Valued Logic
This paper reviews the principles behind the paradigm of “abstract interpretation via § -valued logic,” discusses recent work to extend the approach, and summarizes ongoing re...
Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm
127
Voted
CVPR
2010
IEEE
15 years 8 months ago
The Cluttered Background Problem for Active Contours: A Minimum-Latency Solution
We present a region-based active contour detection algorithm for objects that exhibit relatively homogeneous photometric characteristics (e.g. smooth color or gray levels), embedd...
Stefano Soatto, Ganesh Sundaramoorthi, Anthony Yez...
81
Voted
MICRO
2009
IEEE
222views Hardware» more  MICRO 2009»
15 years 7 months ago
Qilin: exploiting parallelism on heterogeneous multiprocessors with adaptive mapping
Heterogeneous multiprocessors are growingly important in the multi-core era due to their potential for high performance and energy efficiency. In order for software to fully real...
Chi-Keung Luk, Sunpyo Hong, Hyesoon Kim
103
Voted
ICCV
2005
IEEE
16 years 2 months ago
Detection of Concentric Circles for Camera Calibration
The geometry of plane-based calibration methods is well understood, but some user interaction is often needed in practice for feature detection. This paper presents a fully automa...
Guang Jiang, Long Quan
MICCAI
2006
Springer
16 years 1 months ago
An Energy Minimization Approach to the Data Driven Editing of Presegmented Images/Volumes
Fully automatic, completely reliable segmentation in medical images is an unrealistic expectation with today's technology. However, many automatic segmentation algorithms may ...
Leo Grady, Gareth Funka-Lea