225 search results - page 10 / 45 » Automatically Inferring ClassSheet Models from Spreadsheets |
154
Voted
POPL
2010
ACM
16 years 3 months ago
2010
ACM
d by recent research in abstract model checking, we present a new approach to inferring dependent types. Unlike many of the existing approaches, our approach does not rely on prog...
136
Voted
SETN
2004
Springer
15 years 11 months ago
2004
Springer
In this paper we propose an automatic mechanism for annotating XML documents. This mechanism relies on a simple data model whose main features are: (1) a modeling of XML documents ...
173
Voted
ICML
2004
IEEE
16 years 7 months ago
2004
IEEE
In kernel methods, an interesting recent development seeks to learn a good kernel from empirical data automatically. In this paper, by regarding the transductive learning of the k...
139
Voted
AAAI
1998
15 years 7 months ago
1998
We present a noisy-OR Bayesian network model for simulation-based training, and an efficient search-based algorithm for automatic synthesis of plausible training scenarios from co...
161
Voted
RECOMB
2005
Springer
16 years 6 months ago
2005
Springer
Background: Correlations between polymorphic markers and observed phenotypes provide the basis for mapping traits in quantitative genetics. When the phenotype is gene expression, ...