Permission Inference for Array Programs.
Jérôme DohrauAlexander J. SummersCaterina UrbanSeverin MüngerPeter MüllerPublished in: CoRR (2018)
Keyphrases
- inference process
- third party
- programmable logic
- bayesian inference
- grammatical inference
- inference engine
- neural network
- efficient learning
- bayesian model
- learning algorithm
- expert systems
- data structure
- access control
- databases
- genetic algorithm
- high speed
- probabilistic reasoning
- fixpoint
- machine learning
- database systems
- java programs
- image segmentation