2065 search results - page 197 / 413 » User interface for multi-agent systems: A case study |
227
click to vote
TACAS
2000
Springer
15 years 10 months ago
2000
Springer
Salsa is an invariant checker for speci cations in SAL the SCR Abstract Language. To establish a formula as an invariant without any user guidance Salsa carries out an induction pr...
159
click to vote
ICAD
2004
15 years 8 months ago
2004
Previous work on the production and test of various sonifications has shown that adding a sonification to an interface can assist the execution of a variety of operator tasks [1,2...
175
click to vote
WIKIS
2009
ACM
15 years 11 months ago
2009
ACM
This paper presents a new Wiki called SAVVY Wiki that realizes context-oriented, collective and collaborative knowledge management environments that are able to reflect users’ i...
157
Voted
WACV
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper presents a multimodal crisis management system (XISM). It employs processing of natural gesture and speech commands elicited by a user to efficiently manage complex dyn...
159
click to vote
FGR
1998
IEEE
15 years 11 months ago
1998
IEEE
In this paper we describe a prototype system for directing a computer generated scene for film planning. The system is based upon the concepts of the Intuitive Interface, an envir...