107 search results - page 10 / 22 » Beyond: collapsible tools and gestures for computational des... |
ACL2
2006
ACM
13 years 11 months ago
2006
ACM
We have extended the ACL2 theorem prover to automatically prove properties of VHDL circuits with IBM's Internal SixthSense verification system. We have used this extension to...
CHI
2003
ACM
14 years 7 months ago
2003
ACM
A tension exists between designers' comfort with physical artifacts and the need for effective remote collaboration: physical objects live in one place. Previous research and...
CHI
2004
ACM
14 years 7 months ago
2004
ACM
Multimodal interactive systems support multiple interaction techniques such as the synergistic use of speech, gesture and eye gaze tracking. The flexibility they offer results in ...
EDOC
2009
IEEE
13 years 11 months ago
2009
IEEE
A key challenge in devising solutions to a range of problems associated with business process management: process life cycle management, compliance management, enterprise process ...
ACMDIS
2010
ACM
13 years 7 months ago
2010
ACM
This paper describes a new tool for use in the process of brainstorming workshops on HCI called "Open-ended objects". Open-ended objects are open-ended interactive exper...