Sciweavers

51 search results - page 4 / 11
» interact 1990
Sort
View
EACL
1993
ACL Anthology
13 years 8 months ago
A unification-based approach to multiple VP Ellipsis resolution
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 ...
Claire Gardent
NIME
2005
Springer
131views Music» more  NIME 2005»
14 years 15 days ago
The Convergence of Alternate Controllers and Musical Interfaces in Interactive Entertainment
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...
Tina Blaine
CHI
2005
ACM
14 years 7 months ago
Graduate education in human-computer interaction
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...
James D. Foley, Michel Beaudouin-Lafon, Jonathan G...
CADE
1990
Springer
13 years 11 months ago
IMPS: An Interactive Mathematical Proof System
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...
William M. Farmer, Joshua D. Guttman, F. Javier Th...
DAGSTUHL
2007
13 years 8 months ago
Dynamic Interactions Between Goals and Beliefs
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 ...
Steven Shapiro, Gerhard Brewka