4218 search results - page 641 / 844 » Complete sets of cooperations |
ESORICS
2007
Springer
14 years 2 months ago
2007
Springer
We present a new technique for generating a formal proof that an access request satisfies accesscontrol policy, for use in logic-based access-control frameworks. Our approach is t...
ICB
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. This paper proposes a novel face recognition method based on discriminant analysis with Gabor tensor representation. Although the Gabor face representation has achieved g...
ICDM
2007
IEEE
14 years 2 months ago
2007
IEEE
We propose an efficient algorithm for mining frequent approximate sequential patterns under the Hamming distance model. Our algorithm gains its efficiency by adopting a "brea...
3DPVT
2004
IEEE
14 years 2 months ago
2004
IEEE
Interactive 3D modeling is the process of building a 3D model of an object or a scene in real-time while the 3D (range) data is acquired. This is possible only if the computationa...
ACSAC
2004
IEEE
14 years 2 months ago
2004
IEEE
Software security assurance and malware (trojans, worms, and viruses, etc.) detection are important topics of information security. Software obfuscation, a general technique that ...