951 search results - page 11 / 191 » On the Computation of Correctly-Rounded Sums |
134
Voted
ICPR
2010
IEEE
15 years 8 months ago
2010
IEEE
Abstract--In this paper, normalized SoP string-edit distances, taking into account all possible alignments between two sequences, are investigated. These normalized distances are v...
144
Voted
TLCA
2007
Springer
15 years 11 months ago
2007
Springer
Inspired by recent work on normalisation by evaluation for sums, we propose a normalising and confluent extensional rewriting theory for the simply-typed λ-calculus extended with...
155
click to vote
PG
2007
IEEE
15 years 11 months ago
2007
IEEE
Minkowski sum is a fundamental operation in many geometric applications, including robotics, penetration depth estimation, solid modeling, and virtual prototyping. However, due to...
124
click to vote
IPPS
1999
IEEE
15 years 9 months ago
1999
IEEE
Abstract. Themain contributionof thiswork isto propose a numberof broadcastefficient VLSI architectures for computing the sum and the prefix sums of a w k-bit, k 2, binary sequenc...
120
click to vote
GMP
2002
IEEE
15 years 10 months ago
2002
IEEE
We present an algorithm for computing Minkowski sums among surfaces of revolution and surfaces of linear extrusion, generated by slope-monotone closed curves. The special structur...