Sciweavers

16513 search results - page 411 / 3303
» Numerical Analysis Methods
Sort
View
PDPTA
2000
15 years 8 months ago
A Parallel Boundary Value Technique for Singularly Perturbed Two-Point Boundary Value Problems
A class of singularly perturbed two-point boundary-value problems (BVPs) for second-order ordinary differential equations (DEs) is considered here. In order to obtain numerical sol...
Srinivasan Natesan, Jesús Vigo-Aguiar
ICASSP
2010
IEEE
15 years 7 months ago
High frame rate Motion Compensated Frame Interpolation in High-Definition video processing
Numerous MCFI methods have been proposed to increase the frame rate in the past ten years. However, these methods usually focus on how to double the frame rate and involve complex...
Yen-Lin Lee, Truong Nguyen
JC
2010
55views more  JC 2010»
15 years 5 months ago
Dimension-wise integration of high-dimensional functions with applications to finance
We present a new general class of methods for the computation of high-dimensional integrals. The quadrature schemes result by truncation and discretization of the anchored-ANOVA d...
Michael Griebel, Markus Holtz
CADE
2008
Springer
16 years 7 months ago
Proving Bounds on Real-Valued Functions with Computations
Interval-based methods are commonly used for computing numerical bounds on expressions and proving inequalities on real numbers. Yet they are hardly used in proof assistants, as th...
Guillaume Melquiond
ECMDAFA
2009
Springer
109views Hardware» more  ECMDAFA 2009»
16 years 1 months ago
Uniform Random Generation of Huge Metamodel Instances
The size and the number of models is drastically increasing, preventing organizations from fully exploiting Model Driven Engineering benefits. Regarding this problem of scalabilit...
Alix Mougenot, Alexis Darrasse, Xavier Blanc, Mich...