Login / Signup
Moment-based Invariants for Probabilistic Loops with Non-polynomial Assignments.
Andrey Kofnov
Marcel Moosbrugger
Miroslav Stankovic
Ezio Bartocci
Efstathia Bura
Published in:
CoRR (2022)
Keyphrases
</>
moment invariants
orthogonal polynomials
probabilistic model
bayesian networks
data driven
generative model
uncertain data
invariant features
probabilistic logic
case study
zernike moments
invariance properties
image normalization
implicit polynomial