298 search results - page 7 / 60 » Abstract Fixpoint Computations with Numerical Acceleration M... |
SOFSEM
2010
Springer
14 years 4 months ago
2010
Springer
Abstract. Smart play-out is a method for executing declarative scenariobased specifications, which utilizes powerful computation methods to compute safe supersteps, thus helping t...
SIAMSC
2008
13 years 7 months ago
2008
Abstract. The sequential regularization method is a reformulation of the unsteady Navier-Stokes equations from the view point of constrained dynamical systems or approximate Helmho...
ACIVS
2008
Springer
14 years 1 months ago
2008
Springer
Abstract. Extrema of curvature are useful key points for different image analysis tasks. Indeed, polygonal approximation or arc decomposition methods used often these points to ini...
UCS
2004
Springer
14 years 22 days ago
2004
Springer
Abstract— In this paper, we present two methods for calibration of acceleration sensors that are inexpensive, in-situ, require minimum user interaction and are targeted to a broa...
COMPUTING
2010
13 years 4 months ago
2010
In this paper, we introduce and analyze a modification of the Hermitian and skewHermitian splitting iteration method for solving a broad class of complex symmetric linear systems....