C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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