An Extension of Formal Analysis Method with Reasoning for Anonymity.

Yating Wang Yuichi Goto

Published in: ACIIDS (2) (2020)

Keyphrases

formal analysis
cost function
similarity measure
high accuracy
detection method
machine learning
preprocessing
expert systems
pairwise
dynamic programming
knowledge representation
support vector machine
edge detection