Sign in

Mechanized Metatheory for the Masses: The PoplMark Challenge.

Brian E. AydemirAaron BohannonMatthew FairbairnJ. Nathan FosterBenjamin C. PiercePeter SewellDimitrios VytiniotisGeoffrey WashburnStephanie WeirichSteve Zdancewic
Published in: TPHOLs (2005)
Keyphrases
  • data analysis
  • computer aided diagnosis
  • machine learning
  • information systems
  • face recognition
  • multiscale
  • pairwise
  • logistic regression