Sciweavers

16430 search results - page 624 / 3286
» On Computable Tree Functions
Sort
View
ADCM
2007
155views more  ADCM 2007»
15 years 7 months ago
Numerical differentiation by radial basis functions approximation
Based on radial basis functions approximation, we develop in this paper a new computational algorithm for numerical differentiation. Under an a priori and an a posteriori choice r...
T. Wei, Y. C. Hon
WEA
2009
Springer
126views Algorithms» more  WEA 2009»
16 years 1 months ago
Computing Elevation Maxima by Searching the Gauss Sphere
The elevation function on a smoothly embedded 2-manifold in R3 reflects the multiscale topography of cavities and protrusions as local maxima. The function has been useful in iden...
Bei Wang, Herbert Edelsbrunner, Dmitriy Morozov
CADE
1990
Springer
15 years 11 months ago
A Theorem Prover for a Computational Logic
We briefly review a mechanical theorem-prover for a logic of recursive functions over finitely generated objects including the integers, ordered pairs, and symbols. The prover, kn...
Robert S. Boyer, J. Strother Moore
ICCV
2001
IEEE
16 years 9 months ago
Reconstructing Surfaces Using Anisotropic Basis Functions
Point sets obtained from computer vision techniques are often noisy and non-uniform. We present a new method of surface reconstruction that can handle such data sets using anisotr...
Huong Quynh Dinh, Greg Turk, Gregory G. Slabaugh
CVPR
2004
IEEE
16 years 9 months ago
Robust Color Object Detection Using Spatial-Color Joint Probability Functions
Object detection in unconstrained images is an important image understanding problem with many potential applications. There has been little success in creating a single algorithm...
David J. Crandall, Jiebo Luo