Sciweavers

993 search results - page 75 / 199
» A Fast Optimization Method for Level Set Segmentation
Sort
View
FM
2009
Springer
124views Formal Methods» more  FM 2009»
15 years 11 months ago
An Incremental Approach to Scope-Bounded Checking Using a Lightweight Formal Method
We present a novel approach to optimize scope-bounded checking programs using a relational constraint solver. Given a program and its correctness specification, the traditional app...
Danhua Shao, Sarfraz Khurshid, Dewayne E. Perry
ICIP
2010
IEEE
15 years 2 months ago
Fast bilateral filtering by adapting block size
Direct implementations of bilateral filtering show O(r2 ) computational complexity per pixel, where r is the filter window radius. Several lower complexity methods have been devel...
Wei Yu, Franz Franchetti, James C. Hoe, Yao-Jen Ch...
TIP
1998
162views more  TIP 1998»
15 years 4 months ago
Variational image segmentation using boundary functions
Abstract—A general variational framework for image approximation and segmentation is introduced. By using a continuous “line-process” to represent edge boundaries, it is poss...
Gary A. Hewer, Charles S. Kenney, B. S. Manjunath
CODES
1997
IEEE
15 years 9 months ago
Optimizing communication in embedded system co-simulation
The Pia hardware-software co-simulator provides substantial speedups over traditional co-simulation methods by permitting dynamic changes in the level of detail when simulating co...
Ken Hines, Gaetano Borriello
ICIP
2008
IEEE
16 years 6 months ago
Evaluation and benchmark for biological image segmentation
This paper describes ongoing work on creating a benchmarking and validation dataset for biological image segmentation. While the primary target is biological images, we believe th...
Elisa Drelie Gelasca, Jiyun Byun, Boguslaw Obara, ...