2777 search results - page 198 / 556 » Example centric programming |
88
Voted
ENTCS
2008
15 years 26 days ago
2008
In the previous, companion, paper [13] to this paper we introduced our general model of refinement, discussed ideas around determinism and interfaces that the general definition r...
102
click to vote
SIGKDD
2000
15 years 17 days ago
2000
Phenomenal data mining finds relations between the data and the phenomena that give rise to data rather than just relations among the data. For example, suppose supermarket cash r...
113
click to vote
JMLR
2012
13 years 3 months ago
2012
This document contains supplementary material to the article ‘Statistical test for consistent estimation of causal effects in linear non-Gaussian models’, AISTATS 2012. A tabl...
102
Voted
CAV
2009
Springer
16 years 1 months ago
2009
Springer
We present HOMER, an observational-equivalence model checker for the 3rd-order fragment of Idealized Algol (IA) augmented with iteration. It works by first translating terms of the...
87
Voted
ICFP
2003
ACM
16 years 23 days ago
2003
ACM
Most programming languages adopt static binding, but for distributed programming an exclusive reliance on static binding is too restrictive: dynamic binding is required in various...