Login / Signup
A Computation-System Based Method for Automated Proving of Protocols Against Services.
Hans Eckert
Rainer Prinoth
Published in:
Protocol Specification, Testing, and Verification (1983)
Keyphrases
</>
synthetic data
clustering method
detection method
preprocessing
pairwise
significant improvement
cost function
experimental evaluation
fully automatic
high precision
high accuracy
objective function
feature extraction
motion estimation
computationally efficient
dynamic programming
prior knowledge
data sets