A Cloud-Based Execution Framework for Program Analysis.
Daniel BalasubramanianDmitriy KostyuchenkoKasper Søe LuckowRody KerstenGabor KarsaiPublished in: SEFM (2018)
Keyphrases
- framework enables
- theoretical framework
- main contribution
- cloud computing
- machine learning
- artificial intelligence
- relational databases
- component based architecture
- computational framework
- bayesian framework
- computational model
- multi class
- database
- video sequences
- face recognition
- database systems
- image segmentation
- computer vision
- real world
- data sets