285 search results - page 22 / 57 » Game Semantics and Subtyping |
GI
2009
Springer
13 years 6 months ago
2009
Springer
: In recent years, mobile devices became more and more powerful, wireless Internet access is becoming standard. To support mobile applications adapting their User Interface to vari...
TACAS
2009
Springer
14 years 3 months ago
2009
Springer
ional Predicate Abstraction from Game Semantics Adam Bakewell and Dan R. Ghica University of Birmingham, U.K. We introduce a technique for using conventional predicate abstraction ...
FSTTCS
2006
Springer
14 years 9 days ago
2006
Springer
Abstract. We describe a denotational (game) semantics for a call-byvalue functional language with multiple threads of control, which may communicate values of general type on local...
MTA
2008
13 years 8 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 2 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...