Spatial Layout of Procedural Dungeons Using Linear Constraints and SMT Solvers.
Jim WhiteheadPublished in: FDG (2020)
Keyphrases
- linear constraints
- spatial layout
- constraint solver
- scene recognition
- indoor environments
- scene classification
- object classes
- linearly constrained
- bag of words
- sat solvers
- body parts
- visual words
- convex sets
- object recognition
- support vector
- low level features
- scene understanding
- image content
- natural images
- semi supervised