From Verification to Modelling Guidelines.

Sabine Geldof Aurélien Slodzian

Published in: EKAW (1994)

Keyphrases

model checking
verification method
database
real time
machine learning
neural network
data mining
computer vision
knowledge base
software engineering
face verification