128 search results - page 2 / 26 » PADS ML: a functional data description language |
PADL
2012
Springer
13 years 5 months ago
2012
Springer
An ad hoc data source is any semi-structured, non-standard data source. The format of such data sources is often evolving and frequently lacking documentation. Consequently, off-t...
103
click to vote
ICFP
2012
ACM
12 years 12 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...
118
Voted
ICDE
2012
IEEE
12 years 12 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. ...
106
click to vote
ICFP
2001
ACM
15 years 9 months ago
2001
ACM
The CIL compiler for core Standard ML compiles whole ML programs using a novel typed intermediate language that supports the generation of type-safe customized data representation...
143
Voted
SIGMOD
2008
ACM
15 years 9 months ago
2008
ACM
In this demonstration, we will present LEARNPADS, a fully automatic system for generating ad hoc data processing tools. When presented with a collection of ad hoc data, the system...