Login / Signup
Synthesising a Database of Parameterised Linear and Non-Linear Invariants for Time-Series Constraints.
Ekaterina Arafailova
Nicolas Beldiceanu
Helmut Simonis
Published in:
CoRR (2019)
Keyphrases
</>
database
databases
database systems
database management systems
relational databases
data management
non stationary
medical databases
neural network
image retrieval
database applications
database management
database schema
dynamic time warping
database queries
null values