Login / Signup
Verifying Test-Hypotheses: An Experiment in Test and Proof.
Achim D. Brucker
Lukas Brügger
Burkhart Wolff
Published in:
Electron. Notes Theor. Comput. Sci. (2008)
Keyphrases
</>
face recognition
information technology
neural network
real world
machine learning
image processing
multi agent
search algorithm
multiresolution
test cases
statistical tests