97 search results - page 8 / 20 » Standardized Interval Arithmetic and Interval Arithmetic Use... |
75
Voted
DAGSTUHL
2008
15 years 1 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...
111
Voted
ICIP
2003
IEEE
16 years 1 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...
95
Voted
CADE
2008
Springer
15 years 12 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...
91
Voted
CGF
2010
14 years 11 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
15 years 1 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 ...