602 search results - page 37 / 121 » Recursive in A Generic Real |
AML
2008
13 years 7 months ago
2008
The basic motivation behind this work is to tie together various computational complexity classes, whether over different domains such as the naturals or the reals, or whether def...
ISSAC
2007
Springer
14 years 1 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...
MHCI
2007
Springer
14 years 1 months ago
2007
Springer
The proposed demonstration is based on the work performed in the PERCI project and presents a generic framework to access and interact with Web Services through mobile interaction...
LPAR
2000
Springer
13 years 11 months ago
2000
Springer
We present the rational construction of a generic domain for structural information analysis of real CLP languages called Pattern(D ), where the parameter D is an abstract domain s...
MICS
2010
13 years 6 months ago
2010
We revisit the problem of computing the topology and geometry of a real algebraic plane curve. The topology is of prime interest but geometric information, such as the position of...