Sciweavers

3113 search results - page 189 / 623
» Numerical Methods
Sort
View
FOCM
2011
84views more  FOCM 2011»
15 years 1 months ago
Discrete Lie Advection of Differential Forms
In this paper, we present a numerical technique for performing Lie advection of arbitrary differential forms. Leveraging advances in high-resolution finite volume methods for sca...
Patrick Mullen, Alexander McKenzie, Dmitry Pavlov,...
SIAMJO
2011
15 years 1 months ago
Recovering Low-Rank and Sparse Components of Matrices from Incomplete and Noisy Observations
Many applications arising in a variety of fields can be well illustrated by the task of recovering the low-rank and sparse components of a given matrix. Recently, it is discovered...
Min Tao, Xiaoming Yuan
DATE
2009
IEEE
112views Hardware» more  DATE 2009»
16 years 1 months ago
Finite Precision bit-width allocation using SAT-Modulo Theory
This paper explores the use of SAT-Modulo Theory in determination of bit-widths for finite precision implementation of numerical calculations, specifically in the context of sci...
Adam B. Kinsman, Nicola Nicolici
IJCAI
2003
15 years 7 months ago
Describing Additive Fluents in Action Language C+
An additive fluent is a fluent with numerical values such that the effect of several concurrently executed actions on it can be computed by adding the effects of the individual ac...
Joohyung Lee, Vladimir Lifschitz
ESANN
2000
15 years 7 months ago
Quantum iterative algorithm for image reconstruction problems
Iterative algorithm based on quantum tunneling is proposed by making use of mean- eld approximation. W e apply our method to the problem of BW image reconstruction (IR). Its perfor...
Jun-ichi Inoue