Termination of Recursive Functions by Lexicographic Orders of Linear Combinations.

Raphael Douglas Giles

Published in: SPLASH Companion (2022)

Keyphrases

linear combination
recursive functions
inductive inference
basis functions
small number
sparse coding
low order
weighted sum
locally linear
term rewriting
training data
feature space
image classification