288 search results - page 35 / 58 » Nominal Game Semantics |
NETGAMES
2006
ACM
14 years 3 months ago
2006
ACM
In this paper we report on our work to enable “laid-back” social interactions using television as a primary interaction medium and mobile devices that participate as a seconda...
ICIP
2008
IEEE
14 years 11 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 3 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 7 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 9 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 ...