2687 search results - page 348 / 538 » Formal Analysis of PKCS |
174
click to vote
WISE
2003
Springer
15 years 11 months ago
2003
Springer
At the heart of today’s information-explosion problems are issues involving semantics, mutual understanding, concept matching, and interoperability. Ontologies and the Semantic ...
169
click to vote
ICPPW
2002
IEEE
15 years 11 months ago
2002
IEEE
Incidents such as Solar Sunrise and Nimda demonstrate the need to expressively model distributed and complex network attacks. To protect information systems, system administrators...
157
click to vote
PEPM
1994
ACM
15 years 10 months ago
1994
ACM
Abstract. Selective eta-expansion is a powerful "binding-time improvement", i.e., a sourceprogram modification that makes a partial evaluator yield better results. But li...
152
click to vote
COLT
2006
Springer
15 years 10 months ago
2006
Springer
Stability is a common tool to verify the validity of sample based algorithms. In clustering it is widely used to tune the parameters of the algorithm, such as the number k of clust...
164
click to vote
AAAI
2008
15 years 9 months ago
2008
Machine learning systems are deployed in many adversarial conditions like intrusion detection, where a classifier has to decide whether a sequence of actions come from a legitimat...