2333 search results - page 123 / 467 » Recursive Computational Depth |
3DPVT
2002
IEEE
14 years 2 months ago
2002
IEEE
We describe initial work on a system for augmenting video sequences with 3-D graphics so that they appear to be present within the scene. Our aim is to do this in realtime for seq...
FOSSACS
2010
Springer
14 years 4 months ago
2010
Springer
Abstract. We present the first complete soundness proof of the antiframe rule, a recently proposed proof rule for capturing information hiding in the presence of higher-order stor...
TAMC
2007
Springer
14 years 3 months ago
2007
Springer
The Collatz problem, widely known as the 3x + 1 problem, asks whether or not a certain simple iterative process halts on all inputs. We build on earlier work by J. H. Conway, and ...
CC
2003
Springer
14 years 2 months ago
2003
Springer
We present a translation from the call-by-value λ-calculus to monadic normal forms that includes short-cut boolean evaluation. The translation is higher-order, operates in one pas...
ICPR
2000
IEEE
14 years 2 months ago
2000
IEEE
This paper describes a new approach to the analysis of Poisson point processes, in time (1D) or space (2D), which is based on the minimum description length (MDL) framework. Speci...