4325 search results - page 7 / 865 » Incremental computation with names |
104
click to vote
PEPM
2000
ACM
15 years 2 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
14 years 10 months ago
2006
COMPUTER
1999
14 years 10 months ago
1999
183
click to vote
POPL
2009
ACM
15 years 11 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...
CVPR
2000
IEEE
16 years 15 days 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...