Sciweavers

429 search results - page 18 / 86
» Turing computations on ordinals
Sort
View
TAMC
2009
Springer
15 years 4 months ago
The Extended Turing Model as Contextual Tool
Computability concerns information with a causal – typically algorithmic – structure. As such, it provides a schematic analysis of many naturally occurring situations. We look ...
S. Barry Cooper
APAL
2010
78views more  APAL 2010»
14 years 9 months ago
Extending and interpreting Post's programme
Computability theory concerns information with a causal
S. Barry Cooper
77
Voted
TCS
2010
14 years 4 months ago
Theory of one-tape linear-time Turing machines
Kohtaro Tadaki, Tomoyuki Yamakami, Jack C. H. Lin
MFCS
2000
Springer
15 years 1 months ago
On the Autoreducibility of Random Sequences
Abstract. A binary sequence A = A(0)A(1) . . . is called infinitely often (i.o.) Turing-autoreducible if A is reducible to itself via an oracle Turing machine that never queries it...
Todd Ebert, Heribert Vollmer
AAAI
1994
14 years 11 months ago
CHATTERBOTS, TINYMUDS, and the Turing Test: Entering the Loebner Prize Competition
The Turing Test was proposed by Alan Turing in 1950; he called it the Imitation Game. In 1991 Hu Loebner prize competition, offering a f h Loebner started the 100,000 prize to the...
Michael L. Mauldin