Login / Signup
Classifying Pattern and Feature Properties to Get a Θ(n) Checker and Reformulation for Sliding Time-Series Constraints.
Nicolas Beldiceanu
Mats Carlsson
Claude-Guy Quimper
Maria-Isabel Restrepo-Ruiz
Published in:
CoRR (2019)
Keyphrases
</>
convex constraints
semantic properties
feature vectors
sliding window
structural properties
constraint sets
constraint satisfaction
desirable properties
visual patterns
data sets
image sequences
pattern matching
constraint programming
constrained optimization
binary patterns