6881 search results - page 250 / 1377 » Motivation |
188
click to vote
CADE
2009
Springer
16 years 7 months ago
2009
Springer
We present a new calculus for first-order theorem proving with equality, ME+Sup, which generalizes both the Superposition calculus and the Model Evolution calculus (with equality)...
159
click to vote
CHI
2009
ACM
16 years 7 months ago
2009
ACM
In this paper, we present results from a qualitative study of collocated group console gaming. We focus on motivations for, perceptions of, and practices surrounding the shared us...
164
click to vote
CHI
2009
ACM
16 years 7 months ago
2009
ACM
This paper presents an ongoing study comparing the potential and the quality of the experiences provided by tangible versus traditional interfaces. The study was carried with two ...
153
click to vote
CHI
2009
ACM
16 years 7 months ago
2009
ACM
The current surge of interest in virtual worlds suggests they are poised to make an evolutionary leap to the workplace, as instant messaging did a decade ago. In recent work we ha...
154
click to vote
CHI
2009
ACM
16 years 7 months ago
2009
ACM
In this paper I show a variety of ways to represent and think about statistical aspects of CHI and its sister conferences. In particular, I look at author counts, gender analysis,...