The SH-Verification Tool.

Peter Ochsenschläger Jürgen Repp Roland Rieke

Published in: FLAIRS Conference (2000)

Keyphrases

user friendly
neural network
image processing
feature extraction
decision making
multimedia
data analysis
multiresolution
mobile robot
software tools
functional verification