794 search results - page 85 / 159 » Computer algebra in interface design research |
CONCUR
2001
Springer
14 years 12 days ago
2001
Springer
In order to model the behaviour of open concurrent systems by means of Petri nets, we introduce open Petri nets, a generalization of the ordinary model where some places, designate...
HCI
2009
13 years 5 months ago
2009
Abstract. The purpose of this research is to emphasize on the concept of integrating computer and interactive technologies to the rehabilitation robotic with biofeedback. First, th...
CHI
2007
ACM
14 years 8 months ago
2007
ACM
The rapid development of handheld devices is driving the development of new interaction styles. This paper examines one such technique: using hand motions to control a menu system...
CHI
2003
ACM
14 years 8 months ago
2003
ACM
Despite recent advances in natural language question answering technology, the problem of designing effective user interfaces has been largely unexplored. We conducted a user stud...
SIGMOD
2011
ACM
12 years 10 months ago
2011
ACM
We demonstrate NetTrails, a declarative platform for maintaining and interactively querying network provenance in a distributed system. Network provenance describes the history an...