43264 search results - page 194 / 8653 » Comparing models of computation |
ENTCS
2006
15 years 2 months ago
2006
We implement a specific protocol for bit exchange among card-playing agents in three different state-of-the-art epistemic model checkers and compare the results. Key words: Crypto...
133
click to vote
BALT
2010
14 years 9 months ago
2010
Model-based approaches in the UML/MOF technological space and ontology-based approaches in the OWL technological space both support conceptual modeling using different kinds of rep...
134
Voted
SAC
2002
ACM
15 years 2 months ago
2002
ACM
Avoidance and discovery of security vulnerabilities in information systems requires awareness of typical risks and a good understanding of vulnerabilities and their exploitations....
109
Voted
ICML
2005
IEEE
16 years 3 months ago
2005
IEEE
This paper studies the aggregation of predictions made by tree-based models for several perturbed versions of the attribute vector of a test case. A closed-form approximation of t...
112
Voted
ICCTA
2007
IEEE
15 years 8 months ago
2007
IEEE
Population size plays a major role in determining the performance of any biometric authentication system, particularly when such systems are used for civilian applications. In thi...