Login / Signup
A hierarchy of proof rules for checking positive invariance of algebraic and semi-algebraic sets.
Khalil Ghorbal
Andrew Sogokon
André Platzer
Published in:
Comput. Lang. Syst. Struct. (2017)
Keyphrases
</>
semi algebraic
spatial databases
arbitrary dimension
logical rules
association rules
spatial data
databases
data mining
image sequences
feature extraction
training set
data model
euclidean distance
r tree
higher dimensional