225 search results - page 10 / 45 » Automatically Inferring ClassSheet Models from Spreadsheets |
POPL
2010
ACM
15 years 9 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...
SETN
2004
Springer
15 years 5 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 ...
ICML
2004
IEEE
16 years 12 days 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...
AAAI
1998
15 years 29 days 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...
RECOMB
2005
Springer
15 years 12 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, ...