571 search results - page 54 / 115 » Modeling and Analysis of Space Based Transceivers |
SACMAT
2009
ACM
14 years 3 months ago
2009
ACM
An access control system is often viewed as a state transition system. Given a set of access control policies, a general safety requirement in such a system is to determine whethe...
CVPR
2007
IEEE
14 years 10 months ago
2007
IEEE
We describe a probabilistic framework for recognizing human activities in monocular video based on simple silhouette observations in this paper. The methodology combines kernel pr...
CAV
1999
Springer
14 years 1 months ago
1999
Springer
Of special interest in formal verification are safety properties, which assert that the system always stays within some allowed region. A computation that violates a general linea...
IWPC
2010
IEEE
13 years 7 months ago
2010
IEEE
Abstract—We present an empirical study to statistically analyze the equivalence of several traceability recovery methods based on Information Retrieval (IR) techniques. The analy...
SMI
2008
IEEE
14 years 3 months ago
2008
IEEE
In this paper, we describe a method of shape-based 3D model retrieval that employs a set of 3D, local, multi-scale features extracted from a voxel representation of a 3D model to ...