2646 search results - page 97 / 530 » Local Type Inference |
115
click to vote
ICML
2005
IEEE
16 years 3 months ago
2005
IEEE
This paper concerns the experimental assessment of tempering as a technique for improving Bayesian inference for C&RT models. Full Bayesian inference requires the computation ...
119
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
METAI is a generic process calculus that can be instantiated by supplying rewriting rules defining an operational semantics to make numerous process calculi such as the -calculus,...
121
click to vote
KI
2008
Springer
15 years 2 months ago
2008
Springer
This paper presents a mapping solution from ERDF(S) to Take vocabulary. The work is related to an investigation of integrating ERDF Derivation Rules into Take inference engine. Som...
156
Voted
ISSTA
2012
ACM
13 years 5 months ago
2012
ACM
To avoid receiving incorrect arguments, a method specifies the expected type of each formal parameter. However, some parameter types are too general and have subtypes that the me...
107
Voted
ESANN
2003
15 years 3 months ago
2003
- In this paper we investigate mixture of experts problems in the context of Local-Global Neural Networks. This type of architecture was originaly conceived for functional approxim...