172 search results - page 22 / 35 » Design formalism for collaborative assembly design |
GROUP
2009
ACM
13 years 11 months ago
2009
ACM
Collaborative brainstorming can be a challenging but important part of creative group problem solving. Mind-mapping has the potential to enhance the brainstorming process but has ...
CHI
2009
ACM
14 years 8 months ago
2009
ACM
HCI has moved from considering how individuals interact with computers to thinking about how groups collaborate using technology. While there has been research focused on large-sc...
POPL
2004
ACM
14 years 8 months ago
2004
ACM
We present a framework for the certification of compilation and of compiled programs. Our approach uses a symbolic transfer functions-based representation of programs, so as to ch...
AIED
2007
Springer
14 years 1 months ago
2007
Springer
Adding student collaboration to an intelligent tutoring system could leverage the benefits of both approaches. We have incorporated a mutual peer tutoring script, where students of...
AGENTS
2001
Springer
14 years 6 days ago
2001
Springer
The CASA architecture describes a platform for the provisioning of services by agents by supporting three levels of agent design. At the base level is a framework to build an agen...