410 search results - page 19 / 82 » Interval Arithmetic and Standardization |
MLQ
2008
13 years 7 months ago
2008
We present some general results concerning the topological space of cuts of a countable model of arithmetic given by a particular indicator Y . The notion of `indicator' is d...
ASPDAC
2008
ACM
13 years 9 months ago
2008
ACM
In modern circuit design, it is difficult to provide reliable parametric yield prediction since the real distribution of process data is hard to measure. Most existing approaches ...
APAL
2010
13 years 7 months ago
2010
First order reasoning about hyperintegers can prove things about sets of integers. In the author's paper Nonstandard Arithmetic and Reverse Mathematics, Bulletin of Symbolic L...
ISCAS
2002
IEEE
14 years 16 days ago
2002
IEEE
—JPEG2000 is an upcoming compression standard for still images that has a feature set well tuned for diverse data dissemination. These features are possible due to adaptation of ...
ERSHOV
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. The article concerns problems of formulating standard requirements to implementations of mathematical functions working with floating-point numbers and conformance test ...