1156 search results - page 119 / 232 » Implications for design |
79
Voted
CANDC
2007
ACM
15 years 3 months ago
2007
ACM
This paper seeks to develop a better understanding of the contribution of materiality for creativity in collaborative settings, exploring the ways in which it provides resources f...
APAL
2008
14 years 11 months ago
2008
We extend the earlier results on the equivalence between the Boolean and the multivalued dependencies in relational databases and fragments of the Boolean propositional logic. It ...
CHI
2009
ACM
15 years 12 months ago
2009
ACM
Many surface computing prototypes have employed gestures created by system designers. Although such gestures are appropriate for early investigations, they are not necessarily ref...
GLVLSI
2009
IEEE
15 years 6 months ago
2009
IEEE
In the context of formal verification Bounded Model Checking (BMC) has shown to be very powerful for large industrial designs. BMC is used to check whether a circuit satisfies a...
CHI
2009
ACM
15 years 4 months ago
2009
ACM
We build on our prior work with computer-supported teams performing a complex decision-making task on maps, where the distinction between content and process common ground is prop...