196 search results - page 2 / 40 » EXACT: the experimental algorithmics computational toolkit |
164
click to vote
PCI
2001
Springer
15 years 7 months ago
2001
Springer
We demonstrate that an algorithm proposed by Drineas et. al. in [7] to approximate the singular vectors/values of a matrix A, is not only of theoretical interest but also a fast, v...
136
Voted
COMPGEOM
1997
ACM
15 years 6 months ago
1997
ACM
Abstract: We propose an e cient method that determines the sign of a multivariate polynomial expression with integer coe cients. This is a central operation on which the robustness...
121
click to vote
EVOW
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. The quadratic assignment problem arises in a variety of practical settings. It is known to be among the hardest combinatorial problems for exact algorithms. Therefore, a ...
143
click to vote
ENTCS
2006
15 years 2 months ago
2006
In this paper, we address the issue of the formal verification of real-time systems in the context of a preemptive scheduling policy. We propose an algorithm which computes the st...
138
Voted
TC
2010
15 years 28 days ago
2010
—In this paper, we investigate data parallelism in exact inference with respect to arbitrary junction trees. Exact inference is a key problem in exploring probabilistic graphical...