3038 search results - page 305 / 608 » High-Speed Function Approximation |
155
click to vote
ICCSA
2005
Springer
16 years 6 days ago
2005
Springer
Various global optimization methods are compared in order to find the best strategy to solve realistic drag reduction problems in the automotive industry. All the methods consist ...
252
click to vote
TACAS
2004
Springer
16 years 1 days ago
2004
Springer
We present a method of deriving Craig interpolants from proofs in the quantifier-free theory of linear inequality and uninterpreted function symbols, and an interpolating theorem...
162
click to vote
ICDM
2003
IEEE
15 years 12 months ago
2003
IEEE
PixelMaps are a new pixel-oriented visual data mining technique for large spatial datasets. They combine kerneldensity-based clustering with pixel-oriented displays to emphasize c...
151
click to vote
COLT
2003
Springer
15 years 12 months ago
2003
Springer
We examine the so-called rigorous support vector machine (RSVM) approach proposed by Vapnik (1998). The formulation of RSVM is derived by explicitly implementing the structural ris...
187
click to vote
ICCS
2003
Springer
15 years 12 months ago
2003
Springer
The problem of computing the electrostatic energy of a large molecule is considered. It is reduced to solving the Poisson equation inside and the linear Poisson-Boltzmann equation ...