A nonstandard standardization theorem.

Beniamino Accattoli Eduardo Bonelli Delia Kesner Carlos Lombardi

Published in: POPL (2014)

Keyphrases

image processing
video sequences
international standard
digital topology
data sets
neural network
knowledge base
search algorithm
mobile devices
von neumann