Regression-free Synthesis for Concurrency.
Pavol CernýThomas A. HenzingerArjun RadhakrishnaLeonid RyzhykThorsten TarrachPublished in: CoRR (2014)
Keyphrases
- regression model
- linear regression
- locally weighted
- concurrency control
- regression method
- polynomial regression
- database systems
- gaussian process regression
- regression analysis
- gaussian processes
- regression problems
- texture synthesis
- support vector regression
- model selection
- real time
- data flow
- reproducing kernel hilbert space
- ridge regression
- program synthesis
- bayesian networks
- machine learning