97 search results - page 8 / 20 » Standardized Interval Arithmetic and Interval Arithmetic Use... |
DAGSTUHL
2008
13 years 9 months ago
2008
We propose the collection, standardization, and distribution of a full-featured, production quality library for reliable scientific computing with routines using interval technique...
ICIP
2003
IEEE
14 years 9 months ago
2003
IEEE
A novel and highly efficient algorithm of multiplicarionfree binary arithmetic coding is proposed. Our proposed method relies on simple table lookupsfor performing the computation...
CADE
2008
Springer
14 years 7 months ago
2008
Springer
Interval-based methods are commonly used for computing numerical bounds on expressions and proving inequalities on real numbers. Yet they are hardly used in proof assistants, as th...
CGF
2010
13 years 7 months ago
2010
Programmable shading provides artistic control over materials and geometry, but the black box nature of shaders makes some rendering optimizations difficult to apply. In many case...
ASPDAC
2008
ACM
13 years 9 months ago
2008
ACM
The impact of parameter variations in integrated analog circuits is usually analyzed by Monte Carlo methods with a high number of simulation runs. Few approaches based on interval ...