101 search results - page 12 / 21 » Coinduction for Exact Real Number Computation |
76
Voted
AAECC
2007
Springer
15 years 8 months ago
2007
Springer
The split-radix FFT computes a size-n complex DFT, when n is a large power of 2, using just 4n lg n−6n+8 arithmetic operations on real numbers. This operation count was first an...
100
click to vote
ICPR
2006
IEEE
16 years 3 months ago
2006
IEEE
We present a practical framework for registering a Mixed Reality(MR) environment of an arbitrary number of agents. Each agent consist of a head mounted display (HMD), which consis...
75
Voted
ICPR
2006
IEEE
16 years 3 months ago
2006
IEEE
In this paper, we present a new approach to camera pose estimation from single shot images in known environment. Such a method comprises two stages, a learning step and an inferen...
116
Voted
NIPS
2007
15 years 3 months ago
2007
Dynamic Bayesian networks are structured representations of stochastic processes. Despite their structure, exact inference in DBNs is generally intractable. One approach to approx...
86
Voted
ARITH
2007
IEEE
15 years 8 months ago
2007
IEEE
In the present paper, we investigate the approximation of a function by a polynomial with floating-point coefficients; we are looking for the best approximation in the L2 sense....