16616 search results - page 442 / 3324 » Extending Extended Vacuity |
235
click to vote
FSTTCS
2010
Springer
15 years 5 months ago
2010
Springer
This paper focuses on first-order logic (FO) extended by reachability predicates such that the expressiveness and hence decidability properties lie between FO and monadic second-o...
189
click to vote
CVPR
2005
IEEE
16 years 9 months ago
2005
IEEE
The recently introduced random walker segmentation algorithm of [14] has been shown to have desirable theoretical properties and to perform well on a wide variety of images in pra...
162
click to vote
CVPR
2007
IEEE
16 years 9 months ago
2007
IEEE
This paper proposes an approach for object class localization which goes beyond bounding boxes, as it also determines the outline of the object. Unlike most current localization m...
212
click to vote
CVPR
2008
IEEE
16 years 9 months ago
2008
IEEE
In an extended image sequence of an outdoor scene, one observes changes in color induced by variations in the spectral composition of daylight. This paper proposes a model for the...
192
click to vote
ICCV
2003
IEEE
16 years 9 months ago
2003
IEEE
This paper presents an approach to build high resolution digital elevation maps from a sequence of unregistered low altitude stereovision image pairs. The approach first uses a vi...