Sciweavers

1994 search results - page 54 / 399
» Computation of Optical Flow Using Dynamic Programming
Sort
View
ESOP
2006
Springer
15 years 8 months ago
Path Optimization in Programs and Its Application to Debugging
We present and solve a path optimization problem on programs. Given a set of program nodes, called critical nodes, we find a shortest path through the program's control flow g...
Akash Lal, Junghee Lim, Marina Polishchuk, Ben Lib...
ICNS
2007
IEEE
15 years 10 months ago
Improving Wireless Access of Video Over the Internet
Network flow buffering is the use of a simple remote flowregulating buffer that is dynamically deployed between a Web client and server to improve the performance of HTTP-based ac...
Jesse Steinberg, Joseph Pasquale
CVPR
2001
IEEE
16 years 6 months ago
Evolving Image Segmentations for the Analysis of Video Sequences
A methodology for the segmentation of successive frames of a video sequence is presented. Traditional methods, treating each frame in isolation, are computationally expensive, ign...
A. A. Clark, Barry T. Thomas
POPL
2006
ACM
16 years 4 months ago
A logic for information flow in object-oriented programs
This paper specifies, via a Hoare-like logic, an interprocedural and flow sensitive (but termination insensitive) information flow analysis for object-oriented programs. Pointer a...
Torben Amtoft, Sruthi Bandhakavi, Anindya Banerjee