搜索结果: 1-3 共查到“Computational Semantics”相关记录3条 . 查询时间(0.156 秒)
Representation and Inference for Natural Language: A First Course in Computational Semantics
Natural Language Computational Semantics
2015/9/1
Computational semanticsis the study of how to represent meaning in a way that computers can use. For the authors of this textbook, this study includes the representation of
the meaning of natural lan...
Co-induction and Computational Semantics for Public-key Encryption with Key Cycles
Computational soundness and completeness greatest fixed-points least fixed points weak public-key indistinguishability strong public-key indistinguishability
2011/2/24
We consider the computational soundness and completeness of formal indistinguishability in public-key cryptography, in the presence of key-cycles. This problem in the absence of key-cycles is addresse...
Computational Semantics for Basic Protocol Logic –A Stochastic Approach
cryptographic protocols formal methods first order logic
2008/9/1
This paper is concerned about relating formal and computational models of cryptography in case of active adversaries when formal security analysis is done with first order logic.We first argue that th...