13 search results - page 1 / 3 » ml 2012 |
ML
2012
ACM
12 years 1 months ago
2012
ACM
ML
2012
ACM
12 years 1 months ago
2012
ACM
ICDE
2012
IEEE
11 years 8 months ago
2012
IEEE
—With the exponential growth in the amount of data that is being generated in recent years, there is a pressing need for applying machine learning algorithms to large data sets. ...
ICFP
2012
ACM
11 years 8 months ago
2012
ACM
The higher-order logic found in proof assistants such as Coq and various HOL systems provides a convenient setting for the development and verification of pure functional program...
ML
2012
ACM
12 years 1 months ago
2012
ACM
Bayesian learning, widely used in many applied data-modeling problems, is often accomplished with approximation schemes because it requires intractable computation of the posterio...