951 search results - page 69 / 191 » On the Computation of Correctly-Rounded Sums |
126
click to vote
IPL
2010
15 years 2 months ago
2010
Branching vector addition systems are an extension of vector addition systems where new reachable vectors may be obtained by summing two reachable vectors and adding an integral v...
129
click to vote
FCT
2009
Springer
15 years 10 months ago
2009
Springer
Weighted automata are finite automata with numerical weights on transitions. Nondeterministic weighted automata define quantitative languages L that assign to each word w a real ...
117
Voted
ICPR
2008
IEEE
15 years 10 months ago
2008
IEEE
Using integral images for fast computation of sums of rectangular areas is very popular in computer vision. However the method does not extend naturally to rotations at arbitrary ...
124
click to vote
ACCV
2007
Springer
15 years 10 months ago
2007
Springer
We consider the problem of fitting a conic to a set of 2D points. It is commonly agreed that minimizing geometrical error, i.e. the sum of squared distances between the points and...
120
click to vote
SIGGRAPH
1997
ACM
15 years 7 months ago
1997
ACM
We introduce a new class of primitive functions with non-linear parameters for representing light reflectance functions. The functions are reciprocal, energy-conserving and expres...