Sciweavers

429 search results - page 18 / 86
» Turing computations on ordinals
Sort
View
TAMC
2009
Springer
15 years 6 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
58
Voted
APAL
2010
78views more  APAL 2010»
14 years 12 months ago
Extending and interpreting Post's programme
Computability theory concerns information with a causal
S. Barry Cooper
TCS
2010
14 years 6 months ago
Theory of one-tape linear-time Turing machines
Kohtaro Tadaki, Tomoyuki Yamakami, Jack C. H. Lin
MFCS
2000
Springer
15 years 3 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
15 years 1 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