429 search results - page 20 / 86 » Turing computations on ordinals |
185
click to vote
CVPR
2009
IEEE
17 years 1 months ago
2009
IEEE
This paper investigates ordinal image description for
invariant feature correspondence. Ordinal description is
a meta-technique which considers image measurements in
terms of th...
139
click to vote
ECCC
2002
15 years 5 months ago
2002
Would physical laws permit the construction of computing machines that are capable of solving some problems much faster than the standard computational model? Recent evidence sugge...
132
click to vote
APAL
2010
15 years 6 months ago
2010
We investigate computability theoretic and topological properties of spaces of orders on computable orderable groups. A left order on a group G is a linear order of the domain of ...
