Some definitorial suggestions for parameterized proof complexity.

Jörg Flum Moritz Müller

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

Keyphrases

information systems
worst case
space complexity
neural network
computer vision
computational complexity
database
real time
similarity measure
digital libraries
conjunctive query containment