On B. Mossé's unilateral recognizability theorem.

Shigeki Akiyama Bo Tan Hisatoshi Yuasa

Published in: CoRR (2018)

Keyphrases

real time
von neumann
digital topology
neural network
feature extraction
bayesian networks
pattern recognition
computational complexity
feature space
interactive theorem proving