Modus: a Datalog dialect for building container images.
Chris TomyTingmao WangEarl T. BarrSergey MechtaevPublished in: ESEC/SIGSOFT FSE (2022)
Keyphrases
- image data
- input image
- ground truth
- image database
- image features
- three dimensional
- rigid body
- aerial images
- integrity constraints
- image classification
- image collections
- region of interest
- image retrieval
- image registration
- image matching
- edge detection
- deductive databases
- spatial information
- image set
- feature points
- object recognition
- image annotation
- illumination conditions
- query language
- data mining
- expressive power
- keypoints
- image compression
- similarity measure
- multiresolution
- data model