2096 search results - page 179 / 420 » Structured Parameter Elicitation |
144
click to vote
ICFP
2005
ACM
16 years 4 months ago
2005
ACM
We present a compositional program logic for call-by-value imperative higher-order functions with general forms of aliasing, which can arise from the use of reference names as fun...
199
click to vote
3DIC
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract—Modeling parasitic parameters of Through-SiliconVia (TSV) structures is essential in exploring electrical characteristics such as delay and signal integrity (SI) of circ...
151
click to vote
IEEEPACT
2009
IEEE
15 years 11 months ago
2009
IEEE
—Analytical models have been used to estimate optimal values for parameters such as tile sizes in the context of loop nests. However, important algorithms such as fast Fourier tr...
110
click to vote
ICASSP
2008
IEEE
15 years 10 months ago
2008
IEEE
This paper deals with the joint estimation of temporal (timedelay, Doppler frequency) and spatial (direction-of-arrival, DOA) parameters of several replicas of a known signal in a...
152
click to vote
IJCNN
2007
IEEE
15 years 10 months ago
2007
IEEE
— In this paper we provide experimental results and extensions to our previous theoretical findings concerning the combination of forecasts that have been diversified by three ...