System level verification of video and image processing specifications.
Hans SamsomFrank H. M. FranssenFrancky CatthoorHugo De ManPublished in: ISSS (1995)
Keyphrases
- image processing
- image enhancement
- real time
- model checking
- concurrent systems
- video data
- multimedia
- video processing
- video sequences
- video content
- pattern recognition
- automated verification
- machine vision
- computer vision
- spatial and temporal
- video streams
- real time video
- edge detection
- image segmentation
- multiscale
- video segmentation
- digital image processing
- neural network
- delay insensitive
- asynchronous circuits
- model checker
- signature verification
- video clips
- space time
- video analysis
- computer graphics
- video surveillance
- formal specification
- spatio temporal
- video images
- temporal logic
- formal verification
- image analysis
- temporal information
- signal processing
- e learning
- video frames