DLOGTIME Proof Systems.

Andreas Krebs Nutan Limaye

Published in: FSTTCS (2013)

Keyphrases

computer systems
real world
intelligent systems
distributed systems
database
natural language
computer vision
systems require
learning systems
probabilistic model
mobile robot
multimedia
artificial intelligence
genetic algorithm
information retrieval
machine learning
data mining
neural network
real time