Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra.

Roberto Bagnara Enric Rodríguez-Carbonell Enea Zaffanella

Published in: SAS (2005)

Keyphrases

convex polyhedra
semi algebraic
spatial databases
convex hull
minimum distance
arbitrary dimension
machine learning
optimal solution
training set