Robust Positivity Problems for Linear Recurrence Sequences: The Frontiers of Decidability for Explicitly Given Neighbourhoods.

Mihir Vahanwala

Published in: FSTTCS (2023)

Keyphrases

linear systems
description logics
machine learning
computer vision
computationally efficient
decision problems
solving problems
fractional programming
convex quadratic programming
data sets
feature selection
similarity measure
hidden markov models
optimization problems