288 search results - page 22 / 58 » Nominal Game Semantics |
MTA
2008
13 years 9 months ago
2008
This paper presents a framework that explicitly detects events in broadcasting baseball videos and facilitates the development of many practical applications. Three phases of contr...
ICMCS
2007
IEEE
14 years 4 months ago
2007
IEEE
In this paper, we present a novel multi-modal framework for semantic event extraction from basketball games based on webcasting text and broadcast video. We propose novel approach...
LICS
2009
IEEE
14 years 4 months ago
2009
IEEE
After informally reviewing the main concepts from game semantics and placing the development of the field in a historical context we examine its main applications. We focus in pa...
CORR
2010
Springer
13 years 9 months ago
2010
Springer
We refine HO/N game semantics with an additional notion of pointer (mu-pointers) and extend it to first-order classical logic with completeness results. We use a Church style exte...
FOSSACS
2003
Springer
14 years 2 months ago
2003
Springer
Genericity is the idea that the same program can work at many different data types. Longo, Milstead and Soloviev proposed to capture the inability of generic programs to probe th...