T-Rex: Termination of Recursive Functions Using Lexicographic Linear Combinations.

Raphael Douglas Giles Vincent Jackson Christine Rizkallah

Published in: ICALP (2024)

Keyphrases

linear combination
recursive functions
inductive inference
basis functions
small number
sparse coding
low order
image segmentation
pairwise
higher order
image classification
weighted sum