8828 search results - page 1622 / 1766 » Formal methods in practice |
115
click to vote
PLDI
1999
ACM
15 years 8 months ago
1999
ACM
Load-reuse analysis finds instructions that repeatedly access the same memory location. This location can be promoted to a register, eliminating redundant loads by reusing the re...
123
click to vote
ICCV
1999
IEEE
15 years 8 months ago
1999
IEEE
This paper considers the problem of self-calibration of a camera from an image sequence in the case where the camera's internal parameters (most notably focal length) may cha...
158
click to vote
VISUALIZATION
1999
IEEE
15 years 8 months ago
1999
IEEE
Conventional projector-based display systems are typically designed around precise and regular configurations of projectors and display surfaces. While this results in rendering s...
133
click to vote
MIS
1999
Springer
15 years 8 months ago
1999
Springer
Recent techniques for multicast or broadcast delivery of streaming media can provide immediate service to each client request yet achieve considerable client stream sharing (i.e.,...
125
click to vote
VVS
1998
IEEE
15 years 8 months ago
1998
IEEE
A visibility ordering of a set of objects, from a given viewpoint, is a total order on the objects such that if object a obstructs object b, then b precedes a in the ordering. Suc...