Formal system specification and testing of image processing/computer vision algorithms.
Andrew C. SegalJohn QuintasRobert KeroRichard GreeneGregory H. ChisholmPublished in: Device-Independent Color Imaging and Imaging Systems Integration (1993)
Keyphrases
- computer vision algorithms
- image processing
- computer vision
- formal specification
- vision algorithms
- formal methods
- surveillance system
- formal language
- signal processing
- machine vision
- requirements specification
- reactive systems
- formal verification
- test case generation
- specification language
- computer graphics
- image enhancement
- specification languages
- multiscale
- image analysis
- image segmentation
- high level
- operational semantics
- image restoration
- integral image
- reinforcement learning
- object recognition
- formal model
- edge detection
- model checking
- vision system
- video sequences
- pattern recognition
- denoising
- video surveillance
- formal languages