4460 search results - page 652 / 892 » Formal methods for interactive systems |
156
click to vote
SEMWEB
2009
Springer
16 years 1 months ago
2009
Springer
Spreadsheet tools are often used in business and private scenarios in order to collect and store data, and to explore and analyze these data by executing functions and aggregation...
195
click to vote
ACMDIS
2006
ACM
16 years 15 days ago
2006
ACM
Storyboarding is a common technique in HCI and design for demonstrating system interfaces and contexts of use. Despite its recognized benefits, novice designers still encounter ch...
162
click to vote
IUI
2006
ACM
16 years 14 days ago
2006
ACM
Recent interest in the use of software character agents raises the issue of how many agents should be used in online learning. In this paper we review evidence concerning the rela...
187
click to vote
APGV
2008
ACM
15 years 8 months ago
2008
ACM
There is an increasing need for methods for secure dissemination of interactive 3D graphics content, providing protection for valuable 3D models while still allowing them to be wi...
185
click to vote
IE
2007
15 years 8 months ago
2007
In this paper, methods for nonverbal communication in digital games and virtual worlds are explored as alternatives to chat and other text-based forms of communication. Inspired b...