285 search results - page 53 / 57 » Game Semantics and Subtyping |
CHI
2005
ACM
14 years 10 months ago
2005
ACM
Few systems combine both Embodied Conversational Agents (ECAs) and multimodal input. This research aims at modeling the behavior of adults and children during their multimodal int...
LICS
2006
IEEE
14 years 3 months ago
2006
IEEE
We prove that the modal mu-calculus model-checking problem for (ranked and ordered) node-labelled trees that are generated by order-n recursion schemes (whether safe or not, and w...
SPIESR
2003
13 years 11 months ago
2003
Abstract—We propose a fully automatic and computationally efficient framework for analysis and summarization of soccer videos using cinematic and object-based features. The propo...
ICCV
2007
IEEE
14 years 11 months ago
2007
IEEE
We propose a first attempt to classify events in static images by integrating scene and object categorizations. We define an event in a static image as a human activity taking pla...
WWW
2004
ACM
14 years 10 months ago
2004
ACM
The digital generation of a story in which users have influence over the narrative is emerging as an exciting example of computer-based interactive entertainment. Interactive stor...