Optimal Proof Systems and Sparse Sets.

Harry Buhrman Stephen A. Fenner Lance Fortnow Dieter van Melkebeek

Published in: STACS (2000)

Keyphrases

management system
complex systems
neural network
data sets
sparse data
genetic algorithm
worst case
distributed systems
intelligent systems
computer systems
joint optimization
database
sparse representation
high dimensional
digital libraries
information retrieval
real time