Maintaining correctness in scientific programs.

Published in: Comput. Sci. Eng. (2005)

Keyphrases

provably correct
artificial intelligence
scientific data
case study
data sets
neural network
computer vision
information systems
search algorithm
computer programs
science learning
control structures