Shuffle-Based Verification of Component Compatibility.

Wlodzimierz M. Zuberek

Published in: DepCoS-RELCOMEX (2013)

Keyphrases

model checking
face verification
real time
formal verification
verification method
metadata
decision trees
feature extraction
objective function
wide range
learning environment