Small Depth Proof Systems.

Andreas Krebs Nutan Limaye Meena Mahajan Karteek Sreenivasaiah

Published in: MFCS (2013)

Keyphrases

distributed systems
relational databases
small number
management system
hidden markov models
high quality
multiscale
complex systems
knowledge based systems
digital libraries
database
multimedia
computer vision
genetic algorithm
machine learning
neural network
real time