Enforcing termination of interprocedural analysis.

Stefan Schulze Frielinghaus Helmut Seidl Ralf Vogler

Published in: Formal Methods Syst. Des. (2018)

Keyphrases

databases
database
real time
information retrieval
genetic algorithm
feature extraction
real world
similarity measure
wide range
video sequences
mobile robot
statistical analysis
quantitative analysis