395 search results - page 26 / 79 » Degrees of Weakly Computable Reals |
PAMI
2006
13 years 8 months ago
2006
Algorithms for discrete energy minimization are of fundamental importance in computer vision. In this paper we focus on the recent technique proposed by Wainwright et al. [33] - t...
CSEE
2009
Springer
13 years 6 months ago
2009
Springer
Devising a course for software professionals working in industry depends on several factors. In order to create a course that fulfils professionals' expectations, it is impor...
TPHOL
2007
IEEE
14 years 3 months ago
2007
IEEE
Techniques based on sums of squares appear promising as a general approach to the universal theory of reals with addition and multiplication, i.e. verifying Boolean combinations of...
CORR
2010
Springer
13 years 9 months ago
2010
Springer
We consider the problem of isolating the real roots of a square-free polynomial with integer coefficients using (variants of) the continued fraction algorithm (CF). We introduce a...
RITA
2002
13 years 8 months ago
2002
The use of detailed geometric models is a critical factor for achieving realism in most computer graphics applications. In the past few years, we have observed an increasing deman...