97 search results - page 11 / 20 » Standardized Interval Arithmetic and Interval Arithmetic Use... |
108
click to vote
ASAP
2005
IEEE
15 years 6 months ago
2005
IEEE
With continued reductions in feature size, additional functionality may be added to future microprocessors to boost the performance of important application domains. Due to growth...
103
click to vote
JCSS
2010
14 years 11 months ago
2010
Convolution y(t) = a(t − s) · x(s) ds is one of the main techniques in digital signal processing. A straightforward computation of the convolution y(t) requires O(n2) steps, wh...
ENTCS
2008
15 years 1 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...
100
click to vote
CPAIOR
2010
Springer
15 years 6 months ago
2010
Springer
Interval coefficients have been introduced in OR and CP to specify uncertain data in order to provide reliable solutions to convex models. The output is generally a solution set, ...
CPM
2006
Springer
15 years 5 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...