429 search results - page 35 / 86 » Turing computations on ordinals |
FUIN
2007
14 years 11 months ago
2007
We present the development of a theory of stored threads and their execution. The work builds upon Maurer’s theory of computer instructions and the thread algebra of Bergstra et ...
272
click to vote
Book
Very well organized and easy to follow book. The table of content can be downloaded from the attachment section below.
116
click to vote
ICCV
2011
IEEE
13 years 11 months ago
2011
IEEE
Rank correlation measures are known for their resilience to perturbations in numeric values and are widely used in many evaluation metrics. Such ordinal measures have rarely been ...
ITNG
2006
IEEE
15 years 5 months ago
2006
IEEE
The accepted view of programming, rooted in Turing’s fundamental characterization of algorithms, has had a profound impact on the theory and practice of computing with yet broad...
STACS
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. It is well known that one-dimensional cellular automata working on the usual neighborhood are Turing complete, and many acceleration theorems are known. However very litt...