Generalizing Abadi & Lamport's Method to Solve a Problem Posed by A. Pnueli.

Kai Engelhardt Willem P. de Roever

Published in: FME (1993)

Keyphrases

high accuracy
theoretical analysis
genetic algorithm
computer vision
similarity measure
machine learning
preprocessing
pairwise
significant improvement
synthetic data
error rate
optimization algorithm
main contribution
missing data
computationally efficient
experimental evaluation
cost function
bayesian networks