Sciweavers

963 search results - page 16 / 193
» On the decomposition of rational functions
Sort
View
IFL
2004
Springer
138views Formal Methods» more  IFL 2004»
14 years 2 months ago
A Rational Deconstruction of Landin's SECD Machine
Landin’s SECD machine was the first abstract machine for the λ-calculus viewed as a programming language. Both theoretically as a model of computation and practically as an ide...
Olivier Danvy
CVPR
2010
IEEE
14 years 4 months ago
Convex Shape Decomposition
In this paper, we propose a new shape decomposition method, called convex shape decomposition. We formalize the convex decomposition problem as an integer linear programming probl...
Liu Hairong, Longin Jan Latecki, Liu Wenyu
MCS
2005
Springer
14 years 2 months ago
Between Two Extremes: Examining Decompositions of the Ensemble Objective Function
We study how the error of an ensemble regression estimator can be decomposed into two components: one accounting for the individual errors and the other accounting for the correlat...
Gavin Brown, Jeremy L. Wyatt, Ping Sun
ICASSP
2009
IEEE
14 years 3 months ago
A PDE characterization of the intrinsic mode functions
For the first time, a proof of the sifting process (SP) and so the empirical mode decomposition (EMD), is given. For doing this, lower and upper envelopes are modeled in a more c...
El-Hadji Samba Diop, R. Alexandre, Abdel-Ouahab Bo...
JC
2010
55views more  JC 2010»
13 years 7 months ago
Dimension-wise integration of high-dimensional functions with applications to finance
We present a new general class of methods for the computation of high-dimensional integrals. The quadrature schemes result by truncation and discretization of the anchored-ANOVA d...
Michael Griebel, Markus Holtz