Yet more image computations for SMV, the symbolic model verifier.
Hiromi HiraishiPublished in: Systems and Computers in Japan (2000)
Keyphrases
- high level
- image data
- computational model
- similarity measure
- multiscale
- statistical model
- low level
- image content
- keypoints
- segmentation method
- energy function
- single image
- bayesian framework
- image classification
- edge detection
- random fields
- image retrieval
- reconstruction method
- image set
- probability density function
- energy functional
- prior model
- image segmentation
- image statistics
- spatial information
- image representation
- visual features
- em algorithm
- input image
- wavelet transform
- object recognition
- video sequences
- objective function