557 search results - page 38 / 112 » The L4.verified Project - Next Steps |
ICIP
2000
IEEE
14 years 10 months ago
2000
IEEE
In this paper, we try to improve a video object-tracking algorithm using a motion re-estimation scheme. The usual object tracking algorithm is composed of two steps: object projec...
CHI
2006
ACM
14 years 9 months ago
2006
ACM
Learning from end-users is essential to participatory design. In order to learn from end-users we need to find end-users to collaborate with. However, finding end-users can be the...
VISUALIZATION
1999
IEEE
14 years 1 months ago
1999
IEEE
We present a technique for optimizing the rendering of highdepth complexity scenes. Prioritized-Layered Projection (PLP) does this by rendering an estimation of the visible set fo...
CAV
1998
Springer
14 years 1 months ago
1998
Springer
As a pedagogical exercise in ACL2, we formalize and prove the correctness of a write invalidate cache scheme. In our formalization, an arbitrary number of processors, each with its...
ISSRE
2007
IEEE
13 years 10 months ago
2007
IEEE
In industrial practice, information on the software field quality of a product is available too late in the software lifecycle to guide affordable corrective action. An important ...