Login / Signup
Symbolic String Verification: Combining String Analysis and Size Analysis.
Fang Yu
Tevfik Bultan
Oscar H. Ibarra
Published in:
TACAS (2009)
Keyphrases
</>
image analysis
data analysis
real world
edit distance
expert systems
computer vision
artificial intelligence
website
three dimensional
high level
similarity measure
knowledge base
evolutionary algorithm
mobile robot
statistical analysis
quantitative analysis
database