62 search results - page 2 / 13 » Modified bar recursion |
LICS
2006
IEEE
14 years 3 months ago
2006
IEEE
U. Berger, [11] significantly simplified Tait’s normalisation proof for bar recursion [27], see
IEE
2007
13 years 9 months ago
2007
Because of the increasingly diverse and dynamic environments in which they must operate, modern middleware platforms need to explicitly support modifiability. Modifiability should...
ICIP
2009
IEEE
14 years 10 months ago
2009
IEEE
In this work, we propose algorithms to recursively and causally reconstruct a sequence of natural images from a reduced number of linear projection measurements taken in a domain ...
CGVR
2006
13 years 10 months ago
2006
In this paper, we propose a recursive Taylor method for ray-casting algebraic surfaces. The performance of this approach is compared with four other candidate approaches to raycas...
ISCAS
1994
IEEE
14 years 1 months ago
1994
IEEE
Abstract: Modified sign Haar transform with sign Walsh-like structure is introduced in this article. This nonlinear transform converts binary/ternary vectors into digital spectral ...