5210 search results - page 47 / 1042 » Exact geometric computation |
FLOPS
2008
Springer
13 years 11 months ago
2008
Springer
In this paper we describe some certified algorithms for exact real arithmetic based on co-recursion. Our work is based on previous experiences using redundant digits of base 2 but ...
ISTCS
1997
Springer
14 years 2 months ago
1997
Springer
We investigate the power of quantum computers when they are required to return an answer that is guaranteed to be correct after a time that is upper-bounded by a polynomial in the...
DISOPT
2007
13 years 10 months ago
2007
We investigate the computational complexity of a combinatorial problem that arises in DNA sequencing by hybridization: The input consists of an integer together with a set S of wo...
COMPUTING
2007
13 years 10 months ago
2007
ACS
2011
13 years 5 months ago
2011
: We show that the category of regular epimorphisms in a Barr exact Goursat category is almost Barr exact in the sense that (it is a regular category and) every regular epimorphism...