Using PO Methods for Verfying Behavioural Equivalences.

Monica Lara de Souza Robert de Simone

Published in: FORTE (1995)

Keyphrases

significant improvement
benchmark datasets
feature extraction
preprocessing
statistical models
machine learning methods
machine learning
information retrieval
artificial intelligence
three dimensional
video sequences
multi class
qualitative and quantitative
methods require