Size-Change Termination and Transition Invariants.

Matthias Heizmann Neil D. Jones Andreas Podelski

Published in: SAS (2010)

Keyphrases

neural network
information retrieval
case study
window size
data sets
real world
search engine
computational complexity