2644 search results - page 381 / 529 » Complex Interacting Infrastructure Systems |
CHI
2008
ACM
14 years 9 months ago
2008
ACM
Because most animation tools are complex and timeconsuming to learn and use, most animations today are created by experts. To help novices create a wide range of animations quickl...
CHI
2007
ACM
14 years 9 months ago
2007
ACM
We present an experimental study of automatic camera control in the performance of collaborative remote repair tasks using video-mediated communication. Twelve pairs of participan...
CHI
2007
ACM
14 years 9 months ago
2007
ACM
Many collaborative design tools may suffer from being too generic to address the specific complexities inherent in multidisciplinary collaboration. We provide accounts of several ...
CHI
2002
ACM
14 years 9 months ago
2002
ACM
Many CSCW projects dealing with individual availability and interruption filtering achieve only limited success. Perhaps this is because designers of such systems have limited evi...
CADE
2005
Springer
14 years 9 months ago
2005
Springer
Proof planning is an automated reasoning technique which improves proof search by raising it to a meta-level. In this paper we apply proof planning to First-Order Linear Temporal L...