3963 search results - page 546 / 793 » Designing for learning |
CHI
2005
ACM
16 years 4 months ago
2005
ACM
This paper describes the development of a new model of agent emotion elicitation called Nemesys. It enhances interfaces with emotional and social information. Nemesys is based on ...
112
click to vote
CHI
2003
ACM
16 years 4 months ago
2003
ACM
In this paper we introduce Super Cilia Skin, a multi-modal interactive membrane. We conceived Super Cilia Skin as a computationally enhanced membrane coupling tactilekinesthetic i...
136
click to vote
CADE
2008
Springer
16 years 4 months ago
2008
Springer
This paper describes a system combining model-based and learning-based methods for automated reasoning in large theories, i.e. on a large number of problems that use many axioms, l...
118
click to vote
OSDI
2006
ACM
16 years 4 months ago
2006
ACM
This paper reports our experiences building PlanetLab over the last four years. It identifies the requirements that shaped PlanetLab, explains the design decisions that resulted fr...
137
click to vote
ICSE
2005
IEEE-ACM
16 years 4 months ago
2005
IEEE-ACM
We report on the experiences of Siemens Corporation in nine globally-distributed software development projects. These projects represent a range of collaboration models, from co-d...