67 search results - page 8 / 14 » Providing Intelligent Language Feedback for Augmentative Com... |
ICMI
2005
Springer
15 years 3 months ago
2005
Springer
Synthetic characters are an effective modality to convey messages to the user, provide visual feedback about the system internal understanding of...
UM
2001
Springer
15 years 2 months ago
2001
Springer
In this paper, we suggest an integrated architecture that makes use of the objective-technical information provided by the designer and the subjectiveperceptual information supplie...
ATAL
1997
Springer
15 years 1 months ago
1997
Springer
Tcl/Tk is an attractive language for the design of intelligent agents because it allows the quick construction of prototypes and user interfaces; new scripts can easily be bound at...
VRML
2003
ACM
15 years 2 months ago
2003
ACM
Embodied agents or humanoid avatars may effectively be used to communicate with human users. Currently there is a wide range of specification formalisms and scripting languages f...
ENTCS
2006
14 years 9 months ago
2006
To broaden the scope of decision procedures for linear arithmetic, they have to be integrated into theorem provers. Successful approaches e.g. in NQTHM or ACL2 suggest a close int...