The Effects of Bounding Syntactic Resources on Presburger LTL.

Stéphane Demri Régis Gascon

Published in: TIME (2007)

Keyphrases

limited resources
model checking
upper bound
resource allocation
computing resources
natural language
resource management
learning resources
temporal logic
natural language processing
wordnet