A method for unbounded verification of privacy-type properties.
Lucca HirschiDavid BaeldeStéphanie DelaunePublished in: CoRR (2017)
Keyphrases
- high precision
- error rate
- experimental evaluation
- theoretical analysis
- objective function
- significant improvement
- cost function
- social networks
- probabilistic model
- computationally efficient
- high accuracy
- computational cost
- fully automatic
- support vector machine svm
- feature set
- support vector machine
- multiresolution
- preprocessing
- bayesian networks
- face recognition
- image processing