1689 search results - page 152 / 338 » Refining abstract interpretations |
156
click to vote
ICTAC
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Separation kernels are key components in embedded applications. Their small size and widespread use in high-integrity environments make them good targets for formal model...
154
click to vote
ISVC
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. In this paper, we present a graph-based multi-resolution approach for mitosis extraction in breast cancer histological whole slide images. The proposed segmentation uses ...
136
click to vote
MICCAI
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. In analyzing diffusion magnetic resonance imaging, multitensor models address the limitations of the single diffusion tensor in situations of partial voluming and fiber c...
160
click to vote
UTP
2010
15 years 2 months ago
2010
Abstract. The Unifying Theories of Programming underpins the development of Circus, a state-rich process algebra for refinement. We have previously presented a theory of testing fo...
145
click to vote
DAGM
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. We present a system for detecting shadows in dynamic outdoor scenes. The technique is based on fusing background subtraction operations performed on both color and dispar...