Modeling for image processing system validation, verification and testing.
Xing LiRamesh NagarajanPublished in: ACM SIGSOFT Softw. Eng. Notes (2005)
Keyphrases
- image processing
- machine vision
- digital image processing
- model checking
- image enhancement
- modeling method
- image processing algorithms
- neural network
- symbolic execution
- colored petri nets
- model validation
- formal verification
- computer graphics
- high resolution
- multiscale
- artificial intelligence
- genetic algorithm
- remote sensing
- signal processing
- mathematical morphology
- image registration
- color images
- image analysis
- data sets