285 search results - page 35 / 57 » Game Semantics and Subtyping |
ICIP
2008
IEEE
14 years 10 months ago
2008
IEEE
Methods of retrieving images that incorporate humangenerated metadata, such as keyword annotation and collaborative filtering, are less vulnerable to the semantic gap than content...
TLCA
2005
Springer
14 years 2 months ago
2005
Springer
Proof animation is a way of executing proofs to nd errors in the formalization of proofs. It is intended to be \testing in proof engineering". Although the realizability inter...
EMNLP
2010
13 years 6 months ago
2010
Language is sensitive to both semantic and pragmatic effects. To capture both effects, we model language use as a cooperative game between two players: a speaker, who generates an...
CORR
2008
Springer
13 years 8 months ago
2008
Springer
As an attempt to uncover the topological nature of composition of strategies in game semantics, we present a "topological" game for Multiplicative Additive Linear Logic ...
SCP
2008
13 years 8 months ago
2008
In [5] we build a formal verification technique for game based correctness proofs of cryptograhic algorithms based on a probabilistic Hoare style logic [10]. An important step towa...