Correct by construction is guaranteed to fail.

Stephen K. Sunter

Published in: ITC (2005)

Keyphrases

databases
neural network
feature selection
high level
artificial neural networks
automatic construction
information systems
multimedia
clustering algorithm
multi agent
pattern recognition
information technology
probabilistic model