20441 search results - page 1 / 4089 » Locally Computable Structures |
CIE
2008
Springer
13 years 6 months ago
2008
Springer
We study perfectly locally computable structures, which are (possibly uncountable) structures S that have highly effective presentations of their local properties. We show that eve...
CIE
2007
Springer
13 years 11 months ago
2007
Springer
We introduce the notion of a locally computable structure, a natural way of generalizing the notions of computable model theory to uncountable structures S by presenting the finit...
CVPR
1997
IEEE
13 years 9 months ago
1997
IEEE
In this paper we focus on using local 3D structure for segmentation. A tensor descriptor is estimated for each neighbourhood, i.e. for each voxel in the data set. The tensors are ...
IBPRIA
2003
Springer
13 years 10 months ago
2003
Springer
This paper presents a vision-based localization approach for an underwater robot in a structured environment. The system is based on a coded pattern placed on the bottom of a water...
FCT
1999
Springer
13 years 9 months ago
1999
Springer
Local event structures and local traces are generalizations of the classical prime event structures and Mazurkiewicz’ traces in which independence is no longer a global binary pr...