Telephone feature verification: Translating SDL to TLA+.

Dominique Méry J. Paul Gibson

Published in: SDL Forum (1997)

Keyphrases

feature vectors
temporal logic
model checking
information retrieval
search engine
email
real time
neural network
genetic algorithm
feature selection
decision trees
preprocessing
image features
object detection
feature representation
face verification