Sciweavers

16430 search results - page 659 / 3286
» On Computable Tree Functions
Sort
View
ICIP
2006
IEEE
16 years 9 months ago
Laplace Random Vectors, Gaussian Noise, and the Generalized Incomplete Gamma Function
Wavelet domain statistical modeling of images has focused on modeling the peaked heavy-tailed behavior of the marginal distribution and on modeling the dependencies between coeffi...
Ivan W. Selesnick
ICIP
2005
IEEE
16 years 9 months ago
A likelihood function for block-based motion analysis
In this paper, the computation of likelihood of block motion candidates is considered. The method is based on the evaluation of the sum of squared differences (SSD) measure for lo...
Janne Heikkilä, Olli Silvén, Pekka San...
VIS
2006
IEEE
117views Visualization» more  VIS 2006»
16 years 8 months ago
Transfer Function Fusing
Based on the observation that it is relatively easier for users to generate several good transfer functions (TFs) for different features of volumetric data, we propose TF fusing, ...
Yingcai Wu, Huamin Qu, Hong Zhou, Ming-Yuen Cha...
COCO
2007
Springer
106views Algorithms» more  COCO 2007»
16 years 1 months ago
The Complexity of Polynomials and Their Coefficient Functions
We study the link between the complexity of a polynomial and that of its coefficient functions. Valiant’s theory is a good setting for this, and we start by generalizing one of V...
Guillaume Malod
FOSSACS
2007
Springer
16 years 1 months ago
Logical Reasoning for Higher-Order Functions with Local State
Abstract. We introduce an extension of Hoare logic for call-by-value higherorder functions with ML-like local reference generation. Local references may be generated dynamically an...
Nobuko Yoshida, Kohei Honda, Martin Berger