11 search results - page 2 / 3 » Why Interval Arithmetic is so Useful |
RC
2006
13 years 10 months ago
2006
Hausdorff continuous (H-continuous) functions are special interval-valued functions which are commonly used in practice, e.g. histograms are such functions. However, in order to av...
BIRTHDAY
2007
Springer
14 years 5 months ago
2007
Springer
Showing termination of the Battle of Hercules and Hydra is a challenge. We present the battle both as a rewrite system and as an arithmetic while program, provide proofs of their t...
GECCO
2004
Springer
14 years 4 months ago
2004
Springer
Abstract. We derive a continuous probability distribution which generates neighbours of a point in an interval in a similar way to the bitwise mutation of a Gray code binary string...
ENTCS
2008
13 years 11 months ago
2008
RZ is a tool which translates axiomatizations of mathematical structures to program specifications using the realizability interpretation of logic. This helps programmers correctl...
CP
2008
Springer
14 years 20 days ago
2008
Springer
It is acknowledged that the symbolic form of the equations is crucial for interval-based solving techniques to efficiently handle systems of equations over the reals. However, only...