1174 search results - page 171 / 235 » A Logical Approach to Abstract Algebra |
132
Voted
EON
2008
15 years 2 months ago
2008
We reuse here the framework, the setting, and the semantic modelling for the automated synthesis of the SWS Challenge Mediator presented in the companion paper [5], and show how to...
104
click to vote
DIAGRAMS
2008
Springer
15 years 2 months ago
2008
Springer
Euler diagrams are a natural method of representing set-theoretic data and have been employed in diverse areas such as visualizing statistical data, as a basis for diagrammatic log...
127
Voted
APLAS
2010
ACM
15 years 25 days ago
2010
ACM
Abstract. We propose a flexible method for verifying the security of ML programs that use cryptography and recursive data structures. Our main applications are X.509 certificate ch...
98
Voted
IS
2010
14 years 10 months ago
2010
Abstract--High level conceptual thought seems to be at the basis of the impressive human cognitive ability, and AI researchers aim to replicate this ability in artificial agents. C...
112
Voted
ICIC
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. In this paper our original methodology of applying ontologybased logic into decision support system for security management in heterogeneous networks is presented. Such d...