16430 search results - page 546 / 3286 » On Computable Tree Functions |
199
click to vote
CIE
2009
Springer
15 years 11 months ago
2009
Springer
An arithmetic circuit is a labelled, directed, acyclic graph specifying a cascade of arithmetic and logical operations to be performed on sets of non-negative integers. In this pap...
156
Voted
AISC
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. Assumptions about the domains of partial functions are necessary in state-of-the-art proof assistants. On the other hand when mathematicians write about partial functions...
175
click to vote
ICANN
2010
Springer
15 years 7 months ago
2010
Springer
Independent Component Analysis (ICA) is a statistical computation method that transforms a random vector in another one whose components are independent. Because the marginal distr...
190
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
We solve the problem of minimizing the number of critical points among all functions on a surface within a prescribed distance from a given input function. The result is achieved...
205
click to vote
ACL
2009
15 years 4 months ago
2009
Hierarchical phrase-based models are attractive because they provide a consistent framework within which to characterize both local and long-distance reorderings, but they also ma...