Topics in Termination.

Nachum Dershowitz Charles Hoot

Published in: RTA (1993)

Keyphrases

topic models
topic detection
information retrieval
wide range
latent dirichlet allocation
topic modeling
web forums
current issues
rewrite systems
real world
machine learning
genetic algorithm
generative model
key concepts
latent topics
covering a wide range