272 search results - page 7 / 55 » Some Results on Ordered Structures in Toposes |
IC
2009
13 years 6 months ago
2009
Retrieving information from EHRs that are represented as XML documents is an important aspect for the users of this domain. Such retrieving may lead to some vague queries. There i...
DAM
2011
13 years 3 months ago
2011
Many graph search algorithms use a labeling of the vertices to compute an ordering of the vertices. We generalize this idea by devising a general vertex labeling algorithmic proce...
CVPR
2011
IEEE
13 years 3 months ago
2011
IEEE
We propose structured models for image labeling that take into account the dependencies among the image labels explicitly. These models are more expressive than independent label ...
ICPR
2006
IEEE
14 years 9 months ago
2006
IEEE
In this paper we present a novel approach for the 3D Euclidean reconstruction of deformable objects observed by a perspective camera with variable intrinsic parameters. We formula...
JCT
2011
13 years 3 months ago
2011
We investigate finite 3-nets embedded in a projective plane over a (finite or infinite) field of any characteristic p. Such an embedding is regular when each of the three clas...