887 search results - page 10 / 178 » Locally definable homotopy |
MLQ
2008
13 years 9 months ago
2008
An account of lower and upper integration is given. It is constructive in the sense of geometric logic. If the integrand takes its values in the nonnegative lower reals, then its ...
VR
2000
IEEE
14 years 2 months ago
2000
IEEE
Locales (as first embodied in the SPLINE system) are a very good approach to constructing and organising large virtual environments, especially for distributed and multiuser syste...
LICS
1992
IEEE
14 years 1 months ago
1992
IEEE
The aim of this paper is to find the finest `observable' and `implementable' equivalence on concurrent processes. This is a part of a larger programme to develop a theor...
CVPR
2001
IEEE
14 years 11 months ago
2001
IEEE
This paper describes a face detection approach via learning local features. The key idea is that local features, being manifested by a collection of pixels in a local region, are ...
CVPR
2007
IEEE
14 years 11 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...