557 search results - page 38 / 112 » The L4.verified Project - Next Steps |
149
Voted
ICIP
2000
IEEE
16 years 5 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...
111
click to vote
CHI
2006
ACM
16 years 4 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...
133
Voted
VISUALIZATION
1999
IEEE
15 years 8 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...
184
Voted
CAV
1998
Springer
15 years 8 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...
162
Voted
ISSRE
2007
IEEE
15 years 5 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 ...