674 search results - page 41 / 135 » Separating Structure from Interestingness |
ICIP
2010
IEEE
13 years 7 months ago
2010
IEEE
In order to extract geometrical features from a multispectral image and derive a classification, an approach based on the topographic map of the image is proposed. For each pixel,...
ICTAC
2010
Springer
13 years 7 months ago
2010
Springer
We consider software verification of imperative programs by theorem proving in higher-order separation logic. Of particular interest are the difficulties of encoding and reasoning ...
ECCV
2002
Springer
14 years 11 months ago
2002
Springer
What does it mean for a deforming object to be "moving" (see Fig. 1)? How can we separate the overall motion (a finite-dimensional group action) from the more general de...
ICPR
2006
IEEE
14 years 11 months ago
2006
IEEE
This paper presents a method for automatic segmentation of bone from volumetric computed tomography (CT) data. Due to osteoporosis, which degenerates the bone density and hence de...
ITP
2010
14 years 1 months ago
2010
The Isabelle Collections Framework (ICF) provides a unified framework for using verified collection data structures in Isabelle/HOL formalizations and generating efficient functi...