6355 search results - page 189 / 1271 » From Logic to Games |
162
click to vote
CHI
2006
ACM
16 years 7 months ago
2006
ACM
Images on the Web present a major accessibility issue for the visually impaired, mainly because the majority of them do not have proper captions. This paper addresses the problem ...
169
click to vote
CHI
2010
ACM
16 years 1 months ago
2010
ACM
Stroke is the leading cause of long term disability among adults in industrialized nations. The partial paralysis that stroke patients often experience can make independent living...
139
click to vote
IAT
2009
IEEE
16 years 1 months ago
2009
IEEE
— In this paper, we evaluate a drama management approach deployed in an implementation of a graphical interactive fiction game. Our approach uses players’ feedback as a basis f...
183
click to vote
FDG
2009
ACM
16 years 1 months ago
2009
ACM
Engineering education has evolved from providing students solely with technical skills to providing them with courses that provide students with the non-technical “soft skills...
178
click to vote
FOCS
2008
IEEE
16 years 1 months ago
2008
IEEE
We consider one-round games between a classical verifier and two provers who share entanglement. We show that when the constraints enforced by the verifier are ‘unique’ cons...