Sciweavers

395 search results - page 38 / 79
» Degrees of Weakly Computable Reals
Sort
View
COMGEO
2010
ACM
13 years 9 months ago
An efficient algorithm for the stratification and triangulation of an algebraic surface
: We present a method to compute the exact topology of a real algebraic surface S, implicitly given by a polynomial f Q[x,y,z] of arbitrary total degree N. Additionally, our analy...
Eric Berberich, Michael Kerber, Michael Sagraloff
PARA
2004
Springer
14 years 2 months ago
A Domain Theoretic Account of Euler's Method for Solving Initial Value Problems
Abstract. This paper presents a method of solving initial value problems using Euler’s method, based on the domain of interval valued functions of a real variable. In contrast to...
Abbas Edalat, Dirk Pattinson
BMVC
2000
13 years 10 months ago
Shape from Texture: Homogeneity Revisited
The objective of this paper is to estimate the orientation of a scene plane from an uncalibrated perspective image under the assumption that the scene is coated with a homogeneous...
Antonio Criminisi, Andrew Zisserman
CORR
2011
Springer
186views Education» more  CORR 2011»
13 years 3 months ago
On the Complexity of Solving a Bivariate Polynomial System
We study the complexity of computing the real solutions of a bivariate polynomial system using the recently proposed algorithm Bisolve [3]. Bisolve is a classical elimination metho...
Pavel Emeliyanenko, Michael Sagraloff
CORR
2012
Springer
207views Education» more  CORR 2012»
12 years 4 months ago
A baby step-giant step roadmap algorithm for general algebraic sets
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 ...
Saugata Basu, Marie-Françoise Roy, Mohab Sa...