A counterexample to a generalization of Richardson's theorem.

Adolfo Sánchez-Flores

Published in: Discret. Math. (1987)

Keyphrases

model checking
genetic algorithm
computer vision
decision making
multimedia
clustering algorithm
objective function
pattern recognition
pairwise
relational databases
domain knowledge
medical images
formal verification
von neumann