Sciweavers

146 search results - page 20 / 30
» Interpolation of Shifted-Lacunary Polynomials
Sort
View
ADCM
2004
58views more  ADCM 2004»
14 years 10 months ago
Classification of Bivariate Configurations with Simple Lagrange Interpolation Formulae
In 1977 Chung and Yao introduced a geometric characterization in multivariate interpolation in order to identify distributions of points such that the Lagrange functions are produc...
Jesús M. Carnicer, Mariano Gasca
CAV
2008
Springer
170views Hardware» more  CAV 2008»
15 years 3 days ago
Efficient Craig Interpolation for Linear Diophantine (Dis)Equations and Linear Modular Equations
Abstract. The use of Craig interpolants has enabled the development of powerful hardware and software model checking techniques. Efficient algorithms are known for computing interp...
Himanshu Jain, Edmund M. Clarke, Orna Grumberg
ICISC
2004
96views Cryptology» more  ICISC 2004»
14 years 11 months ago
Efficient Broadcast Encryption Using Multiple Interpolation Methods
We propose a new broadcast encryption scheme based on polynomial interpolations. Our scheme, obtained from the Naor-Pinkas scheme by partitioning the user set and interpolating mul...
Eun Sun Yoo, Nam-Su Jho, Jung Hee Cheon, Myung-Hwa...
MP
2008
126views more  MP 2008»
14 years 10 months ago
Geometry of interpolation sets in derivative free optimization
We consider derivative free methods based on sampling approaches for nonlinear optimization problems where derivatives of the objective function are not available and cannot be dir...
Andrew R. Conn, Katya Scheinberg, Luís N. V...
CORR
2010
Springer
88views Education» more  CORR 2010»
14 years 10 months ago
Kinematic modelling of a 3-axis NC machine tool in linear and circular interpolation
Machining time is a major performance criterion when it comes to high speed machining. CAM software can help in estimating that time for a given strategy. But in practice, CAM pro...
Xavier Pessoles, Yann Landon, Walter Rubio