498 search results - page 28 / 100 » An algorithm to solve integer linear systems exactly using n... |
110
click to vote
ISSAC
2007
Springer
15 years 8 months ago
2007
Springer
An algorithm is presented for the geometric analysis of an algebraic curve f(x, y) = 0 in the real affine plane. It computes a cylindrical algebraic decomposition (CAD) of the pla...
100
Voted
AISC
2006
Springer
15 years 6 months ago
2006
Springer
Solving analytic systems using inversion can be implemented in a variety of ways. One method is to use Lagrange inversion and variations. Here we present a different approach, base...
123
Voted
DAGSTUHL
2008
15 years 4 months ago
2008
Abstract. A parallel version of the self-verified method for solving linear systems was presented in [19, 18]. In this research we propose improvements aiming at a better performan...
124
Voted
HICSS
2005
IEEE
15 years 8 months ago
2005
IEEE
In this paper we formulate a combinatorial auction brokering problem as a set packing problem and apply a simulated annealing heuristic with hybrid local moves to solve the proble...
124
click to vote
DAGM
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Approaches to visual navigation, e.g. used in robotics, require computationally efficient, numerically stable, and robust methods for the estimation of ego-motion. One of...