740 search results - page 90 / 148 » Experiments on Supporting Interactive Proof Using Resolution |
115
click to vote
CHI
2002
ACM
16 years 1 months ago
2002
ACM
This paper proposes a transformation of the Cognitive Walkthrough (CW), a theory-based usability inspection method that has proven useful in designing applications that support us...
143
click to vote
CANDC
2005
ACM
15 years 3 months ago
2005
ACM
Constructed Narratives is a tangible social interface designed for use in public spaces where people have the opportunity to encounter the game and subsequently learn about each o...
IROS
2006
IEEE
15 years 7 months ago
2006
IEEE
— Robots that can interact naturally with humans require the integration and coordination of many different components with heavy computational demands. We argue that an architec...
JCP
2007
15 years 1 months ago
2007
—Educational technology is seen as key for lifelong learning, but it has yet to live up to expectation. We argue that current learning environments are typically oriented too muc...
118
click to vote
TSE
1998
15 years 1 months ago
1998
Developers need tool support to help manage the wide range of inconsistencies that occur during software development. Such tools need to provide developers with ways to define, de...