285 search results - page 35 / 57 » Game Semantics and Subtyping |
126
click to vote
ICIP
2008
IEEE
16 years 5 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...
102
click to vote
TLCA
2005
Springer
15 years 8 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
15 years 1 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...
131
Voted
CORR
2008
Springer
15 years 3 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 ...
113
click to vote
SCP
2008
15 years 3 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...