Formal Theories for Logspace Counting

Published in: CoRR (2010)

Keyphrases

formal models
theoretical framework
data sets
image sequences
artificial neural networks
formal representation
ontological engineering
information retrieval
multimedia
knowledge management
formal methods
formal analysis