Probabilistic Abstract Interpretation: From Trace Semantics to DTMC's and Linear Regression.
Alessandra Di PierroHerbert WiklickyPublished in: Semantics, Logics, and Calculi (2016)
Keyphrases
- linear regression
- markov chain
- abstract interpretation
- active rules
- termination analysis
- least squares
- regression methods
- regression problems
- static analysis
- linear regression model
- nonlinear regression
- active databases
- locally weighted
- ridge regression
- bayesian networks
- regression method
- reasoning engine
- formal semantics
- logic programming
- object oriented databases
- state space
- dynamic analysis
- integrity constraints