12 search results - page 1 / 3 » A Software Library for Reliable Online-Arithmetic with Ratio... |
DAGSTUHL
2008
13 years 6 months ago
2008
COMPGEOM
2001
ACM
13 years 8 months ago
2001
ACM
: Many geometric problems like generalized Voronoi diagrams, medial axis computations and boundary evaluation involve computation and manipulation of non-linear algebraic primitive...
FSTTCS
1994
Springer
13 years 8 months ago
1994
Springer
We give an interactive protocol for s-t RELIABILITY, the well known reliability problem on graphs. Our protocol shows that if IP(f(n)) denotes the class of languages whose interac...
CASC
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. We propose exact, complete and efficient methods for 2 problems: First, the real solving of systems of two bivariate rational polynomials of arbitrary degree. This means ...
ICSE
2009
IEEE-ACM
13 years 11 months ago
2009
IEEE-ACM
We report on one organization's experience making process changes in a suite of projects. The changes were motivated by clients’ requests for better time estimates, better ...