429 search results - page 29 / 86 » Turing computations on ordinals |
114
click to vote
FORMATS
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. Well-known hierarchies discriminate between the computational power of discrete time and space dynamical systems. A contrario the situation is more confused for dynamical...
105
click to vote
CVPR
2006
IEEE
16 years 1 months ago
2006
IEEE
Determining the correspondence of image patches is one of the most important problems in Computer Vision. When the intensity space is variant due to several factors such as the ca...
111
click to vote
ICCV
2007
IEEE
16 years 1 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
16 years 1 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...
202
click to vote
APAL
2011
14 years 6 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...