284 search results - page 15 / 57 » An Efficient Automatic Redeye Detection and Correction Algor... |
120
Voted
FMCAD
2008
Springer
15 years 5 months ago
2008
Springer
Automatic techniques for software verification focus on obtaining witnesses of program failure. Such counterexamples often fail to localize the precise cause of an error and usuall...
131
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
The classical technique for proving termination of a generic sequential computer program involves the synthesis of a ranking function for each loop of the program. Linear ranking ...
132
Voted
MICCAI
2008
Springer
16 years 4 months ago
2008
Springer
Automatic image analysis of histopathology specimens would help the early detection of blood cancer. The first step for automatic image analysis is segmentation. However, touching ...
129
Voted
ISBI
2007
IEEE
15 years 9 months ago
2007
IEEE
Automatic segmentation of nuclei in 3D microscopy images is essential for many biological studies including high throughput analysis of gene expression level, morphology, and phen...
141
Voted
DASC
2006
IEEE
15 years 7 months ago
2006
IEEE
Run-time monitoring is a powerful approach for dynamically detecting faults or malicious activity of software systems. However, there are often two obstacles to the implementation...