Small Depth Proof Systems.

Andreas Krebs Nutan Limaye Meena Mahajan Karteek Sreenivasaiah

Published in: Electron. Colloquium Comput. Complex. (2013)

Keyphrases

small number
real time
management system
building blocks
complex systems
machine learning
computer vision
hidden markov models
intelligent systems
learning systems