Generating Specifications for Recursive Methods by Abstracting Program States.
Nathan WasserPublished in: SETTA (2015)
Keyphrases
- preprocessing
- methods require
- computationally expensive
- computational cost
- real time
- image sequences
- qualitative and quantitative
- data mining techniques
- feature space
- video sequences
- multiscale
- image segmentation
- decision trees
- clustering algorithm
- image processing
- social networks
- artificial intelligence
- data mining
- neural network
- data sets