1847 search results - page 128 / 370 » Hybrid Functional Interpretations |
164
click to vote
MSCS
2006
15 years 5 months ago
2006
Modified bar recursion has been used to give a realizability interpretation of the classical axioms of countable and dependent choice. In this paper we survey the main results con...
149
click to vote
BMCBI
2005
15 years 5 months ago
2005
Background: Interpretation of simple microarray experiments is usually based on the fold-change of gene expression between a reference and a "treated" sample where the t...
144
click to vote
IFL
2007
Springer
15 years 12 months ago
2007
Springer
Abstract. Type checkers for dependent types need to evaluate user defined functions during type checking. For this, current implementations typically use an interpreter, which has...
159
click to vote
CAAP
1990
15 years 9 months ago
1990
One approach to give semantics to languages with subtypes is by translation to target languages without subtyping: subtypings A 6 B are interpreted via conversion functions A B. ...
145
click to vote
ESANN
2003
15 years 7 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...