51 search results - page 4 / 11 » interact 1990 |
109
click to vote
EACL
1993
ACL Anthology
15 years 3 months ago
1993
ACL Anthology
An assumption shared by many theories of discourse is that discourse structure constrains anaphora resolution (cf. [Grosz and Sidner 1986] for definite NPs, [Lascarides and Asher ...
113
click to vote
NIME
2005
Springer
15 years 8 months ago
2005
Springer
This paper will investigate a variety of alternate controllers that are making an impact in interactive entertainment, particularly in the video game industry. Since the late 1990...
CHI
2005
ACM
16 years 2 months ago
2005
ACM
The School of Information and Library Science at the University of North Carolina at Chapel Hill has been offering a graduate course in User Interface Design since 1990. More rece...
143
click to vote
CADE
1990
Springer
15 years 6 months ago
1990
Springer
imps is an Interactive Mathematical Proof System intended as a general purpose tool for formulating and applying mathematics in a familiar fashion. The logic of imps is based on a...
107
click to vote
DAGSTUHL
2007
15 years 3 months ago
2007
Shapiro et al. [2005; 2006], presented a framework for representing goal change in the situation calculus. In that framework, agents adopt a goal when requested to do so (by some ...