Sciweavers

1054 search results - page 2 / 211
» A Formalization of the Turing Test
Sort
View
MCU
1998
117views Hardware» more  MCU 1998»
13 years 10 months ago
The Turing Closure of an Archimedean Field
A BSS machine is -uniform if it does not use exact tests; such machines are equivalent (modulo parameters) to Type 2 Turing machines. We define a notion of closure related to Turi...
Paolo Boldi, Sebastiano Vigna
JAPLL
2008
96views more  JAPLL 2008»
13 years 8 months ago
Simulating Turing machines on Maurer machines
Maurer machines are much closer to real computers than Turing machines. Computer instructions play a prominent part in Maurer machines. We show a straightforward way to simulate Tu...
Jan A. Bergstra, C. A. Middelburg
EUROGP
2008
Springer
135views Optimization» more  EUROGP 2008»
13 years 10 months ago
Using Genetic Programming for Turing Machine Induction
Abstract. Turing machines are playing an increasingly significant role in Computer Science domains such as bioinformatics. Instead of directly formulating a solution to a problem, ...
Amashini Naidoo, Nelishia Pillay
STOC
1993
ACM
134views Algorithms» more  STOC 1993»
14 years 18 days ago
Quantum complexity theory
In this paper we study quantum computation from a complexity theoretic viewpoint. Our first result is the existence of an efficient universal quantum Turing machine in Deutsch’s...
Ethan Bernstein, Umesh V. Vazirani
AAAI
1994
13 years 9 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