Evidence accumulation using binary frames of discernment for verification vision.
Robert J. SafranekSusan N. GottschlichAvinash C. KakPublished in: IEEE Trans. Robotics Autom. (1990)
Keyphrases
- multi valued
- model checking
- vision system
- computer vision
- three dimensional
- frame rate
- real time
- computational vision
- image processing
- formal verification
- verification method
- fingerprint verification
- temporal coherence
- formal methods
- multi frame
- video frames
- moving objects
- artificial intelligence
- data sets
- reference frame
- consecutive frames
- formal analysis
- human vision
- image segmentation
- neural network