285 search results - page 50 / 57 » Game Semantics and Subtyping |
128
click to vote
IJCAI
2003
15 years 4 months ago
2003
This paper reports work on automated meta-data creation for multimedia content. The approach results in the generation of a conceptual index of the content which may then be searc...
183
click to vote
PUC
2011
14 years 10 months ago
2011
OPEN is an ontology-based programming framework for rapid prototyping, sharing, and personalization of context-aware applications. Unlike previous systems that provide programming ...
137
click to vote
AIED
2011
Springer
14 years 7 months ago
2011
Springer
In this study, we designed and developed two educational games on mobile phones with support for speech-recognition to examine and train the cognitive underpinnings of word reading...
121
Voted
LICS
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract. Ludics is peculiar in the panorama of game semantics: we first have the definition of interaction-composition and then we have semantical types, as a set of strategies ...
135
Voted
FOSSACS
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. We study the semantic meaning of block structure using game semantics and introduce the notion of block-innocent strategies, which turns out to characterise call-by-value...