15073 search results - page 311 / 3015 » Probabilistic algorithms for computing resultants |
142
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
The exact computation of orbits of discrete dynamical systems on the interval is considered. Therefore, a multiple-precision floating point approach based on error analysis is ch...
123
click to vote
COMPGEOM
1995
ACM
15 years 8 months ago
1995
ACM
We outline an algorithm and implementation of a system that computes Boolean combinations of sculptured solids. We represent the surface of the solids in terms of trimmed and untr...
146
click to vote
CAV
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. We present an extrapolation with care set operator to accelerate termination of reachability computation with polyhedra. At the same time, a counterexample guided refine...
148
click to vote
IPPS
2002
IEEE
15 years 9 months ago
2002
IEEE
This paper examines the issue of dynamically scheduling applications on a wide-area network computing system. We construct a simulation model for wide-area task allocation problem...
118
click to vote
ANTS
2004
Springer
15 years 10 months ago
2004
Springer
Given an algebraic number field K, such that [K : Q] is constant, we show that the problem of computing the units group O∗ K is in the complexity class SPP. As a consequence, w...