4325 search results - page 7 / 865 » Incremental computation with names |
134
Voted
PEPM
2000
ACM
15 years 5 months ago
2000
ACM
Transforming recursion into iteration eliminates the use of stack frames during program execution. It has been studied extensively. This paper describes a powerful and systematic ...
COMPUTER
2006
15 years 1 months ago
2006
COMPUTER
1999
15 years 1 months ago
1999
229
click to vote
POPL
2009
ACM
16 years 2 months ago
2009
ACM
This paper describes an inter-procedural technique for computing symbolic bounds on the number of statements a procedure executes in terms of its scalar inputs and user-defined qu...
129
click to vote
CVPR
2000
IEEE
16 years 3 months ago
2000
IEEE
A dynamic layer representation is proposed in this paper for tracking moving objects. Previous work on layered representations has largely concentrated on two-/multiframe batch fo...