形状分析符号执行引擎中的状态合并 (State Merging for Symbolic Execution Engine with Shape Analysis).

Wei Deng Zhaopeng Li

Published in: 计算机科学 (2017)

Keyphrases

shape analysis
shape descriptors
execution engine
shape representation
image analysis and pattern recognition
medical imaging
artificial intelligence
image segmentation
recently developed
brain structures