Transfinite step-indexing for termination.

Simon Spies Neel Krishnaswami Derek Dreyer

Published in: Proc. ACM Program. Lang. (2021)

Keyphrases

information retrieval
post processing
preprocessing step
indexing method
database
data sets
databases
machine learning
database systems
video sequences
object recognition
similarity search
indexing techniques
efficient indexing