A Method for Verifying Privacy-Type Properties: The Unbounded Case.
Lucca HirschiDavid BaeldeStéphanie DelaunePublished in: IEEE Symposium on Security and Privacy (2016)
Keyphrases
- high accuracy
- synthetic data
- high precision
- detection method
- experimental evaluation
- clustering method
- input data
- face recognition
- objective function
- computational complexity
- preprocessing
- significant improvement
- support vector machine svm
- computationally efficient
- knn
- fully automatic
- optimization method
- model selection
- feature set
- neural network
- computational cost
- dynamic programming
- prior knowledge
- decision trees
- learning algorithm