Mechanised Computability Theory.

Michael Norrish

Published in: ITP (2011)

Keyphrases

theoretical framework
general theory
theoretical basis
neural network
image processing
video sequences
preprocessing