Interfaces for Modular Feature Verification.

Harry C. Li Shriram Krishnamurthi Kathi Fisler

Published in: ASE (2002)

Keyphrases

petri net
image features
image classification
feature vectors
computer vision
functional verification
signature verification
user interface
machine learning
feature extraction
search engine
artificial intelligence
model checking
formal verification
verification method
database interface
data mining