1400 search results - page 140 / 280 » Contrast image correction method |
ISBI
2011
IEEE
13 years 26 days ago
2011
IEEE
We develop a new algorithm to segment the hippocampus from MR images. Our method uses a new classifier ensemble algorithm to correct segmentation errors produced by a multi-atlas...
CRV
2005
IEEE
14 years 2 months ago
2005
IEEE
We present a refinement of histogram equalization which uses both global and local information to remap the image greylevels. Local image properties, which we generally call neig...
CAV
2007
Springer
14 years 3 months ago
2007
Springer
This paper explores the concept of locality in proofs of global safety properties of asynchronously composed, multi-process programs. Model checking on the full state space is ofte...
GLVLSI
2006
IEEE
14 years 3 months ago
2006
IEEE
Formal methods have been advocated for the verification of digital design where correctness is proved mathematically. In contrast to digital designs, the verification of analog ...
NAACL
2007
13 years 10 months ago
2007
This paper describes a probabilistic answer selection framework for question answering. In contrast with previous work using individual resources such as ontologies and the Web to...