Login / Signup
Novel Approaches to Numerical Software with Result Verification.
Laurent Granvilliers
Vladik Kreinovich
Norbert Th. Müller
Published in:
Numerical Software with Result Verification (2003)
Keyphrases
</>
neural network
software development
software systems
alternative approaches
numerical analysis
database
learning algorithm
case study
association rules
artificial neural networks
user interface
evolutionary algorithm
test cases
software testing