1302 search results - page 261 / 261 » Free-Style Theorem Proving |
JLP
2007
2007
Universality and semicomputability for nondeterministic programming languages over abstract algebras
13 years 6 months ago
tract Algebras Wei Jiang∗ , Yuan Wang† , and Jeffery Zucker‡ September 11, 2006 The Universal Function Theorem (UFT) originated in 1930s with the work of Alan Turing, who p...
KDD
2009
ACM
14 years 6 months ago
2009
ACM
Learning probabilistic graphical models from high-dimensional datasets is a computationally challenging task. In many interesting applications, the domain dimensionality is such a...