528 search results - page 80 / 106 » Construction of concrete verification models from C |
ECCV
2006
Springer
14 years 10 months ago
2006
Springer
One main challenge in Augmented Reality (AR) applications is to keep track of video objects with their movement, orientation, size, and position accurately. This poses a challengin...
SACMAT
2006
ACM
14 years 2 months ago
2006
ACM
We introduce the concept, model, and policy-specific algorithms for inferring new access control decisions from previous ones. Our secondary and approximate authorization model (...
JSYML
2000
13 years 8 months ago
2000
The notion of a D-ring, generalizing that of a differential or a difference ring, is introduced. Quantifier elimination and a version of the AxKochen-Ershov principle is proven for...
CDC
2009
IEEE
14 years 1 months ago
2009
IEEE
A dimension reduction method called Discrete Empirical Interpolation (DEIM) is proposed and shown to dramatically reduce the computational complexity of the popular Proper Orthogo...
SDM
2009
SIAM
14 years 5 months ago
2009
SIAM
The primary constraint in the effective mining of data streams is the large volume of data which must be processed in real time. In many cases, it is desirable to store a summary...