Formalising General Correctness.

Jeremy E. Dawson

Published in: Electron. Notes Theor. Comput. Sci. (2004)

Keyphrases

special case
multi agent
support vector
object recognition
medical images
database
databases
genetic algorithm
np hard