Search Sciweavers | Sciweavers

74 search results - page 4 / 15

» Interval Arithmetic Using SSE-2

click to vote

EUSFLAT
2007

170views Fuzzy Logic» more EUSFLAT 2007»

Inverse Arithmetic Operators for Fuzzy Intervals

13 years 9 months ago

Download www.eusflat.org

Fuzzy arithmetic is a powerful tool in many engineering problems such as decision making, control theory, fuzzy systems and approximate reasoning. However, it is well known that t...

Reda Boukezzoula, Sylvie Galichet, Laurent Foulloy

claim paper

Read More »

click to vote

ARITH
2005
IEEE

76views Applied Computing» more ARITH 2005»

Guaranteed Proofs Using Interval Arithmetic

14 years 1 months ago

Download research.nianet.org

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&...

claim paper

Read More »

click to vote

JLP
2006

92views more JLP 2006»

Exact real arithmetic using centred intervals and bounded error terms

13 years 7 months ago

Download www.cs.swan.ac.uk

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

claim paper

Read More »

click to vote

HYBRID
2004
Springer

94views Control Systems» more HYBRID 2004»

Rigorous Modeling of Hybrid Systems Using Interval Arithmetic Constraints

14 years 28 days ago