318 search results - page 22 / 64 » Real Number Computability and Domain Theory |
CORR
2012
Springer
12 years 4 months ago
2012
Springer
Abstract. Let R be a real closed field and D ⊂ R an ordered domain. We give an algorithm that takes as input a polynomial Q ⊂ D[X1, . . . , Xk], and computes a description of ...
TCS
2011
13 years 3 months ago
2011
We give a high precision polynomial-time approximation scheme for the supremum of any honest n-variate (n + 2)-nomial with a constant term, allowing real exponents as well as real...
FLAIRS
2004
13 years 10 months ago
2004
Robots that can adapt and perform multiple tasks promise to be a powerful tool with many applications. In order to achieve such robots, control systems have to be constructed that...
JMLR
2010
13 years 3 months ago
2010
An exceedingly large number of scientific and engineering fields are confronted with the need for computer simulations to study complex, real world phenomena or solve challenging ...
CVPR
2003
IEEE
14 years 10 months ago
2003
IEEE
The biological visual system possesses the ability to compute layered surface representations, in which one surface is represented as being viewed through another. This ability is...