1017 search results - page 15 / 204 » Register computations on ordinals |
ICCV
2007
IEEE
14 years 9 months ago
2007
IEEE
We present an approach for illumination and affineinvariant point matching using ordinal features. Ordinal measures for matching only consider the order between pixels and not the...
CVPR
2008
IEEE
14 years 9 months ago
2008
IEEE
In this paper, we present a novel iris recognition method based on learned ordinal features.Firstly, taking full advantages of the properties of iris textures, a new iris represen...
APAL
2011
13 years 2 months ago
2011
The Suslin operator E1 is a type-2 functional testing for the wellfoundedness of binary relations on the natural numbers. In the context of applicative theories, its proof-theoret...
LICS
2008
IEEE
14 years 2 months ago
2008
IEEE
We show that reachability and termination for lossy channel systems is exactly at level Fωω in the Fast-Growing Hierarchy of recursive functions, the first level that dominates...
ICALP
2009
Springer
14 years 8 months ago
2009
Springer
Abstract. We consider the succinct representation of ordinal and cardinal trees on the RAM with logarithmic word size. Given a tree T, our representations support the following ope...