Constraint Problem Specification as Compression.
Steve PrestwichS. Armagan TarimRoberto RossiPublished in: GCAI (2016)
Keyphrases
- image compression
- compression ratio
- compression scheme
- high level
- data compression
- formal specification
- specification language
- compression algorithm
- constraint solving
- compression rate
- penalty function
- conceptual model
- image quality
- high quality
- petri net
- neural network
- pattern matching
- learning objects
- multiresolution
- lossless compression
- formal methods
- linear constraints
- soft constraints
- video sequences
- multiscale
- formal verification
- e learning