1620 search results - page 164 / 324 » Testing Polymorphic Properties |
185
click to vote
JAR
2000
15 years 6 months ago
2000
Cryptographic algorithms play a key role in computer security and the formal analysis of their robustness is of utmost importance. Yet, logic and automated reasoning tools are seld...
182
Voted
PAMI
2010
15 years 4 months ago
2010
—Image category recognition is important to access visual information on the level of objects and scene types. So far, intensity-based descriptors have been widely used for featu...
171
Voted
TISSEC
2010
15 years 26 days ago
2010
The SELinux mandatory access control (MAC) policy has recently added a multi-level security (MLS) model which is able to express a fine granularity of control over a subject'...
152
Voted
CVPR
2000
IEEE
16 years 8 months ago
2000
IEEE
This paper examines the problem of image retrieval from large, heterogeneous image databases. We present a technique that fulfills several needs identified by surveying recent res...
163
click to vote
CVPR
2008
IEEE
16 years 8 months ago
2008
IEEE
Because of the large variation across different environments, a generic classifier trained on extensive data-sets may perform sub-optimally in a particular test environment. In th...