We describe how simple, commonly understood statistical models, such as statistical dependency parsers, probabilistic context-free grammars, and word-to-word translation models, c...
In order to support the verification of programs, verification tools such as ACL2 or Isabelle try to extract suitable induction axioms from the definitions of terminating, recursiv...
We describe an acoustic modeling approach in which all phonetic states share a common Gaussian Mixture Model structure, and the means and mixture weights vary in a subspace of the...
Daniel Povey, Lukas Burget, Mohit Agarwal, Pinar A...
Magnetic Resonance Imaging (MRI) is a medical imaging modality that provides structural and functional information. To improve the contrast of MR images, contrast agents, such as ...
Delphine Charpigny, Thomas Grenier, Christophe Ode...
Controlled experiments, also called randomized experiments and A/B tests, have had a profound influence on multiple fields, including medicine, agriculture, manufacturing, and adv...
Thomas Crook, Brian Frasca, Ron Kohavi, Roger Long...