Sciweavers

3113 search results - page 186 / 623
» Numerical Methods
Sort
View
WSC
1997
15 years 7 months ago
New Development of Optimal Computing Budget Allocation for Discrete Event Simulation
This paper deals with ranking and selection problem via simulation. We present an optimal computing budget allocation technique which can select the best of k simulated designs. T...
Hsiao-Chang Chen, Chun-Hung Chen, Liyi Dai, Enver ...
WCE
2007
15 years 7 months ago
A mathematical study of the pantograph/catenary dynamic interaction on transition spans
—This paper presents the work carried out by CALPE team on the development of a mathematical model used in the study and simulation of the pantograph-catenarydynamic interaction ...
Jesús Benet, Angelines Alberto, Enrique Ari...
ICCV
2011
IEEE
14 years 6 months ago
Optimizing Polynomial Solvers for Minimal Geometry Problems
In recent years polynomial solvers based on algebraic geometry techniques, and specifically the action matrix method, have become popular for solving minimal problems in computer...
Oleg Naroditsky, Kostas Daniilidis
IPMI
2007
Springer
16 years 7 months ago
Adaptive Time-Frequency Models for Single-Trial M/EEG Analysis
Abstract. A new method is introduced for estimating single-trial magnetoor electro-encephalography (M/EEG), based on a non-linear fit of timefrequency atoms. The method can be appl...
Christian Bénar, Maureen Clerc, Théo...
SAS
2007
Springer
124views Formal Methods» more  SAS 2007»
16 years 13 days ago
Arithmetic Strengthening for Shape Analysis
Abstract. Shape analyses are often imprecise in their numerical reasoning, whereas numerical static analyses are often largely unaware of the shape of a program’s heap. In this p...
Stephen Magill, Josh Berdine, Edmund M. Clarke, By...