Sciweavers

1895 search results - page 7 / 379
» Function learning from interpolation
Sort
View
ICIAR
2009
Springer
14 years 2 months ago
An Example-Based Two-Step Face Hallucination Method through Coefficient Learning
Face hallucination is to reconstruct a high-resolution face image from a low-resolution one based on a set of high- and low-resolution training image pairs. This paper proposes an ...
Xiang Ma, Junping Zhang, Chun Qi
COCOON
1995
Springer
13 years 11 months ago
Constructing Craig Interpolation Formulas
A Craig interpolant of two inconsistent theories is a formula which is true in one and false in the other. This paper gives an eificient method for constructing a Craig interpolant...
Guoxiang Huang
VMCAI
2007
Springer
14 years 1 months ago
Constraint Solving for Interpolation
Interpolation is an important component of recent methods for program verification. It provides a natural and effective means for computing separation between the sets of ‘good...
Andrey Rybalchenko, Viorica Sofronie-Stokkermans
VRST
1997
ACM
13 years 11 months ago
Image-based view synthesis by combining trilinear tensors and learning techniques
We present a new method for rendering novel images of flexible 3D objects from a small number of example images in correspondence. The strength of the method is the ability to sy...
Shai Avidan, Theodoros Evgeniou, Amnon Shashua, To...
GECCO
2010
Springer
180views Optimization» more  GECCO 2010»
13 years 11 months ago
Comparison of NEWUOA with different numbers of interpolation points on the BBOB noisy testbed
In this paper, we study the performances of the NEW Unconstrained Optimization Algorithm (NEWUOA) with different numbers of interpolation points. NEWUOA is a trust region method, ...
Raymond Ros