9110 search results - page 135 / 1822 » Formally-Based Design Evaluation |
ITS
2000
Springer
15 years 1 months ago
2000
Springer
This paper reports a formative analysis of a Math Modeling Tool in the Algebra II Cognitive Tutor. This tutor is designed to support algebraic reasoning about real world problems. ...
EHCI
2004
14 years 11 months ago
2004
We report the specification and evaluation of a browser designed to support sharing of digital photographs. The project integrated outcomes from experiments, ethnographic observati...
CERA
2010
14 years 10 months ago
2010
Multilevel design problems are typically decomposed into a hierarchy of distributed and strongly coupled sub-problems, each solved by design teams with specialized knowledge and t...
DPPI
2007
ACM
15 years 1 months ago
2007
ACM
This paper documents a first attempt at "designing for the self", an approach to designing products intended to help people move closer to their idealized sense of self a...
ICPR
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper describes a framework for the automatic evaluation and deployment of pattern recognizers. We identify several classes of user and usage patterns of the system, and desc...