5019 search results - page 6 / 1004 » Computing in Quotient Groups |
ENTCS
2006
14 years 9 months ago
2006
This paper contributes towards establishing the category QCB, of topological quotients of countably based spaces, and its subcategory TP, of topological predomains, as a flexible ...
76
Voted
CVPR
2004
IEEE
15 years 11 months ago
2004
IEEE
We develop a new framework for the quantitative analysis of shapes of planar curves. Shapes are modeled on elastic strings that can be bent, stretched or compressed at different r...
ICCV
2003
IEEE
15 years 11 months ago
2003
IEEE
In this paper we consider the images taken from pairs of parabolic catadioptric cameras separated by discrete motions. Despite the nonlinearity of the projection model, the epipol...
TCS
1998
14 years 9 months ago
1998
103
Voted
SAC
2011
ACM
14 years 10 days ago
2011
ACM
Higher-Order Logic (HOL) is based on a small logic kernel, whose