8624 search results - page 178 / 1725 » Interaction design in the university: designing disciplinary... |
CHI
2008
ACM
15 years 10 months ago
2008
ACM
In this paper we describe Surflex, a programmable surface for the design and visualization of physical forms. Surflex combines the physical properties of shape-memory alloy and fo...
ISWC
1998
IEEE
15 years 2 months ago
1998
IEEE
Digital Technology is constantly improving as information becomes wireless. These advances demand more wearable and mobile form factors for products that access information. A pro...
INTERACT
2007
14 years 11 months ago
2007
Our work with communities in developing countries suggests that HCI practice is a long way from maturity in these contexts. With this SIG, we are seeking to build on a CHI2007 work...
ESIAT
2009
IEEE
14 years 8 months ago
2009
IEEE
The rapid development of the network technology greatly expands information communication between people and makes the network education become real. Network education has already ...
CADE
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. While many higher-order interactive theorem provers include a choice operator, higher-order automated theorem provers currently do not. As a step towards supporting autom...