258 search results - page 45 / 52 » Connections between Relation Algebras and Cylindric Algebras |
100
Voted
ACS
2008
15 years 24 days ago
2008
A frame homomorphism h : A - B is skeletal if x = 1 in A implies that h(x) = 1 in B. It is shown that, in KRegS, the category of compact regular frames with skeletal maps, the subc...
129
click to vote
PAMI
2008
15 years 19 days ago
2008
We propose a geometric approach to 3D motion segmentation from point correspondences in three perspective views. We demonstrate that after applying a polynomial embedding to the po...
APAL
2002
15 years 16 days ago
2002
We consider a notion of sequential functional of finite type, more generous than the familiar notion embodied in Plotkin's language PCF. We study both the "full" an...
115
Voted
CAD
1999
Springer
15 years 10 days ago
1999
Springer
This paper is concerned with the mathematics and formal specification of "set-like" operations for the mixed dimension cellular objects of the Djinn Application Programm...
116
Voted
BMVC
2010
14 years 7 months ago
2010
Many recent keypoint detectors associate a local scale (for multiscale detectors) or even a full affine frame (for affine-invariant detectors) to each detected keypoint. Although ...