An Intensional Concurrent Faithful Encoding of Turing Machines.

Thomas Given-Wilson

Published in: ICE (2014)

Keyphrases

turing machine
higher order
artificial intelligence
data integration
encoding scheme
real time
real world
machine learning
decision making
data structure
pairwise
motion estimation
query evaluation
variable length