997 search results - page 61 / 200 » Decision-Theoretic User Interface Generation |
120
Voted
JSS
2006
15 years 4 months ago
2006
Model checking is a powerful automated technique mainly used for the verification of properties of reactive systems. In practice, model checkers are limited due to the state explos...
153
Voted
VRML
2003
ACM
15 years 9 months ago
2003
ACM
Many Web3D sites do not offer sufficient assistance to (especially novice) users in navigating the virtual world, find objects/places of interests, and learn how to interact with ...
127
click to vote
CHI
2009
ACM
15 years 9 months ago
2009
ACM
In this paper, we discuss the generation of icons that represent the emotion expressed in music. We use the emotion plane for connecting the music with the icon shape affectively....
151
click to vote
AAAI
1990
15 years 5 months ago
1990
Explanation requires a dialogue. Users must be allowed to ask questions about previously given explanations. However, building an interface that allows users to ask follow-up ques...
126
click to vote
HCI
2007
15 years 6 months ago
2007
Email is a convenient tool, however, it is still difficult for elderly people and kindergarten children. If they can learn to use it, their ability to communicate may be remarkably...