74 search results - page 10 / 15 » Interval Arithmetic Using SSE-2 |
WSC
2008
13 years 10 months ago
2008
Uncertainty associated with input parameters and models in simulation has gained attentions in recent years. The sources of uncertainties include lack of data and lack of knowledg...
CPM
2006
Springer
13 years 11 months ago
2006
Springer
We consider the problem of tiling a segment {0, . . . , n} of the discrete line. More precisely, we ought to characterize the structure of the patterns that tile a segment and thei...
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...
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...
FOCM
2002
13 years 7 months ago
2002
We present an algorithm for computing rigorous solutions to a large class of ordinary differential equations. The main algorithm is based on a partitioning process and the use of i...