8 search results - page 1 / 2 » Counting Complexity Classes over the Reals I: The Additive C... |
ISAAC
2003
Springer
13 years 10 months ago
2003
Springer
TCS
2010
13 years 3 months ago
2010
Automatic debugging of UML class diagrams helps in the visual specification of software systems because users cannot detect errors in logical consistency easily. This paper focus...
FOIKS
2006
Springer
13 years 8 months ago
2006
Springer
Abstract. Automatic debugging of UML class diagrams helps in the visual specification of software systems because users cannot detect errors in logical inconsistency easily. This p...
COMPGEOM
2005
ACM
13 years 7 months ago
2005
ACM
We consider the problem of computing a representation of the plane graph induced by one (or more) algebraic curves in the real plane. We make no assumptions about the curves, in p...
CORR
2007
Springer
13 years 4 months ago
2007
Springer
We investigate the following question: if a polynomial can be evaluated at rational points by a polynomial-time boolean algorithm, does it have a polynomial-size arithmetic circuit...