4460 search results - page 517 / 892 » Formal methods for interactive systems |
214
click to vote
AI
2007
Springer
15 years 6 months ago
2007
Springer
In this paper, the problem of deriving sensible information from a collection of argumentation systems coming from different agents is addressed. The underlying argumentation the...
165
click to vote
CHI
2009
ACM
15 years 10 months ago
2009
ACM
Due to the increasing penetration of mobile phones even into poor communities, mobile payment schemes could bring formal financial services to the "unbanked". However, b...
185
click to vote
MM
2006
ACM
16 years 21 days ago
2006
ACM
Automatic scene generation using voice and text offers a unique multimedia approach to classic storytelling and human computer interaction with 3D graphics. In this paper, we pre...
165
click to vote
USENIX
2003
15 years 8 months ago
2003
Gesture recognition is a common method of text input on handheld and other pen-based computing devices. Xstroke is a full-screen gesture recognition program for the X Window Syste...
186
click to vote
DAGSTUHL
2010
15 years 7 months ago
2010
Abstract. We present an interactive, real-time mapping system for digital elevation maps (DEMs), which allows Earth scientists to map and therefore understand the deformation of th...