On the verification of graphical primitives in image analysis.
Ulf HönischPublished in: Theoretical Foundations of Computer Vision (1992)
Keyphrases
- image analysis
- model checking
- mathematical morphology
- pattern recognition
- computer aided
- multispectral
- image processing
- building blocks
- visual inspection
- data sets
- low level
- image segmentation
- learning algorithm
- case study
- remote sensing
- deformable models
- image enhancement
- medical imaging
- face verification
- formal verification
- fingerprint verification
- asynchronous circuits
- verification method
- query language for xml
- document analysis
- formal analysis
- object model
- image registration
- video sequences
- multiscale
- artificial intelligence
- genetic algorithm
- data mining