16430 search results - page 615 / 3286 » On Computable Tree Functions |
203
click to vote
ADCM
2011
15 years 2 months ago
2011
Abstract: The Wendland radial basis functions [8, 9] are piecewise polynomial compactly supported reproducing kernels in Hilbert spaces which are norm–equivalent to Sobolev space...
173
click to vote
JMLR
2011
15 years 2 months ago
2011
We present a class of graphical models for directly representing the joint cumulative distribution function (CDF) of many random variables, called cumulative distribution networks...
223
click to vote
VSTTE
2012
Springer
14 years 2 months ago
2012
Springer
Motivated by the problem of deciding verification conditions for the verification of functional programs, we present new decision procedures for automated reasoning about functio...
223
click to vote
CVPR
2012
IEEE
13 years 9 months ago
2012
IEEE
A widely used technique to recover a 3D surface from photographs is patch-based (multi-view) stereo reconstruction. Current methods are able to reproduce fine surface details, th...
209
click to vote
CVPR
2012
IEEE
13 years 9 months ago
2012
IEEE
This paper investigates the role that nonlinear camera response functions (CRFs) have on image deblurring. In particular, we show how nonlinear CRFs can cause a spatially invarian...