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