1497 search results - page 194 / 300 » Extended static checking |
93
Voted
ICMCS
2008
IEEE
15 years 7 months ago
2008
IEEE
The temporal correlation between adjacent video frames poses a severe challenges for video watermarking applications. Motioncoherent watermarking has been recognized as a strategy...
117
Voted
IEEEARES
2008
IEEE
15 years 7 months ago
2008
IEEE
In this paper we propose a method for on-line max auditing of dynamic statistical databases. The method extends the Bayesian approach presented in [2], [3] and [4] for static data...
87
Voted
IPPS
2008
IEEE
15 years 7 months ago
2008
IEEE
VT-ASOS is a framework for holistic and continuous customization of system software on HPC systems. The framework leverages paravirtualization technology. VT-ASOS extends the Xen ...
112
Voted
AIMSA
2008
Springer
15 years 7 months ago
2008
Springer
Since its formalization RBAC has become the yardstick for the evaluation of access control formalisms. In order to meet organizational needs, it has been extended along several di...
119
click to vote
ICRA
2007
IEEE
15 years 7 months ago
2007
IEEE
— In this paper, we present an Extended Kalman Filter (EKF)-based algorithm for real-time vision-aided inertial navigation. The primary contribution of this work is the derivatio...