6355 search results - page 95 / 1271 » From Logic to Games |
108
click to vote
AUSAI
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. In order to apply nonmonotonic logics for specifying industrial automation controllers, we define (1) a method to extend atemporal nonmonotonic logics with temporal opera...
138
Voted
ATVA
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. Model-checking alternating-time properties has recently attracted much interest in the verification of distributed protocols. While checking the validity of a specificati...
105
Voted
ISM
2005
IEEE
15 years 6 months ago
2005
IEEE
In this paper, a multimodal unit detection framework to detect and extract units, a novel concept towards event detection and extraction in sports TV broadcasts, is proposed. The ...
103
click to vote
IUI
2003
ACM
15 years 6 months ago
2003
ACM
We present a probabilistic model, based on Dynamic Decision Networks, to assess user affect from possible causes of emotional arousal. The model relies on the OCC cognitive theory...
111
Voted
CHI
2008
ACM
16 years 1 months ago
2008
ACM
What happens when the domains of HCI design and money intersect? This paper presents analyses from an ethnographic study of virtual currency use in China to discuss implications f...