Interprocedurally Analysing Linear Inequality Relations.

Helmut Seidl Andrea Flexeder Michael Petter

Published in: ESOP (2007)

Keyphrases

linear constraints
semantic relations
database
linear systems
social networks
transfer function
information systems
image processing
database systems
pairwise
angular velocity
temporal relations
linear model
computer vision
genetic algorithm
data mining
databases
data sets