951 search results - page 65 / 191 » On the Computation of Correctly-Rounded Sums |
121
click to vote
ISSAC
2009
Springer
15 years 10 months ago
2009
Springer
We extend Zeilberger’s approach to special function identities to cases that are not holonomic. The method of creative telescoping is thus applied to definite sums or integrals...
123
click to vote
ICARCV
2008
IEEE
15 years 10 months ago
2008
IEEE
—In order to navigate safely, it is important to detect and to react to a potentially dangerous situation. Such a situation can be underlined by a judicious use of the locations ...
133
click to vote
ICCS
2007
Springer
15 years 10 months ago
2007
Springer
We briefly give an overview of Dynamic Epistemic Logic (DEL), mainly in semantic terms. We focus on the simplest of epistemic actions in DEL, called public announcements. We also ...
128
click to vote
ICCS
2005
Springer
15 years 9 months ago
2005
Springer
Given a sequence A of numbers and two positive integers and k, we study the problem to find k disjoint segments of A, each has length at least , such that their sum of densities i...
105
Voted
ICTAC
2005
Springer
15 years 9 months ago
2005
Springer
We present a new derivation of efficient algorithms for a class of optimization problems called maximum marking problems. We extend the class of weight functions used in the speci...