Research on Formal Analysis Method of Computational Soundness Based on Strand Space.

Meng-meng Yao Ye Zhu Li Tang

Published in: ICMAI (2019)

Keyphrases

formal analysis
similarity measure
dynamic programming
parameter space
high precision
detection method
computational cost
search space
significant improvement
neural network
high accuracy
segmentation method
pairwise
preprocessing
machine learning
cost function
probabilistic model
similarity search