16843 search results - page 3177 / 3369 » On Generalized Authorization Problems |
198
click to vote
KBSE
2005
IEEE
16 years 1 days ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
185
click to vote
RTAS
2005
IEEE
16 years 1 days ago
2005
IEEE
While caches have become invaluable for higher-end architectures due to their ability to hide, in part, the gap between processor speed and memory access times, caches (and partic...
189
click to vote
VISUALIZATION
2005
IEEE
16 years 1 days ago
2005
IEEE
We present a robust method for 3D reconstruction of closed surfaces from sparsely sampled parallel contours. A solution to this problem is especially important for medical segment...
200
click to vote
WACV
2005
IEEE
16 years 1 days ago
2005
IEEE
— This paper describes a new method to improve inertial navigation using feature-based constraints from one or more video cameras. The proposed method lengthens the period of tim...
164
click to vote
ANCS
2005
ACM
16 years 22 hour ago
2005
ACM
Network edge packet-processing systems, as are commonly implemented on network processor platforms, are increasingly required to support a rich set of services. These multi-servic...