Sciweavers

97 search results - page 5 / 20
» Standardized Interval Arithmetic and Interval Arithmetic Use...
Sort
View
CAGD
2002
98views more  CAGD 2002»
14 years 11 months ago
Comparison of interval methods for plotting algebraic curves
This paper compares the performance and efficiency of different function range interval methods for plotting f(x, y) = 0 on a rectangular region based on a subdivision scheme, whe...
Ralph R. Martin, Huahao Shou, Irina Voiculescu, Ad...
DAGSTUHL
2008
15 years 1 months ago
A Modified Staggered Correction Arithmetic with Enhanced Accuracy and Very Wide Exponent Range
Abstract. A so called staggered precision arithmetic is a special kind of a multiple precision arithmetic based on the underlying floating point data format (typically IEEE double ...
Frithjof Blomquist, Werner Hofschuster, Walter Kr&...
EUSFLAT
2009
262views Fuzzy Logic» more  EUSFLAT 2009»
14 years 9 months ago
Type-2 Fuzzy Arithmetic using Alpha-planes
Abstract-- This paper examines type-2 fuzzy arithmetic using interval analysis. It relies heavily on alpha-cuts and alpha-planes. Furthermore, we discuss the use of quasi type-2 fu...
Hussam Hamrawi, Simon Coupland
86
Voted
ARITH
2005
IEEE
15 years 5 months ago
Guaranteed Proofs Using Interval Arithmetic
This paper presents a set of tools for mechanical reasoning of numerical bounds using interval arithmetic. The tools implement two techniques for reducing decorrelation: interval ...
Marc Daumas, Guillaume Melquiond, César Mu&...
89
Voted
JLP
2006
92views more  JLP 2006»
14 years 11 months ago
Exact real arithmetic using centred intervals and bounded error terms
Approximations based on dyadic centred intervals are investigated as a means for implementing exact real arithmetic. It is shown that the field operations can be implemented on th...
Jens Blanck