Learn More
Until the day we can record from multiple neurons in undergraduates, understanding how humans process faces requires an interdisciplinary approach, including building computational models that mimic how the brain processes faces. Using machine learning techniques, we can often build models that perform the same tasks people do, in neurophysiologically(More)
  • David M Goldschlag, The, Boyer-Moore Prover
  • 1989
This paper describes a proof system suitable for the mechanical verification of concurrent programs. Mechanical verification, which uses a computer program to validate a formal proof, greatly increases one's confidence in the correctness of the validated proof. If one can assume the correctness of the proof, then one need only read, understand, and accept(More)
  • 1