Automated Complexity Analysis Based on Context-Sensitive Rewriting.

Nao Hirokawa Georg Moser

Published in: RTA-TLCA (2014)

Keyphrases

context sensitive
complexity analysis
theoretical analysis
lower bound
computational complexity
first order logic
information retrieval
spelling correction
language model
context free
multiple task learning
natural language
text mining
multiword
probabilistic model
graph grammars
knowledge base