607 search results - page 27 / 122 » Unifying Exact Completions |
ACS
2005
14 years 10 months ago
2005
Applying (enriched) categorical structures we define the notion of ordered sheaf on a quantaloid Q, which we call `Q-order'. This requires a theory of semicategories enriched ...
103
click to vote
UAI
1992
15 years 1 days ago
1992
In this paper, a unified framework for representing uncertain information based on the notion of an interval structure is proposed. It is shown that the lower and upper approximat...
70
Voted
JSC
2008
14 years 10 months ago
2008
Abstract. Flat theory with sequence variables and flexible arity symbols has infinitary matching and unification type. Decidability of general unification is shown and a unificatio...
SCN
2008
Springer
14 years 10 months ago
2008
Springer
In this work, we propose a new generalization of the notion of group signatures, that allows signers to cover the entire spectrum from complete disclosure to complete anonymity. Pr...
76
Voted
ICCV
2001
IEEE
16 years 24 days ago
2001
IEEE
A theory of stereo image formation is presented that enables a complete classification of all possible stereo views, including non-perspective varieties. Towards this end, the not...