Sciweavers

1707 search results - page 73 / 342
» Customer Interfacing - Lessons Learned
Sort
View
ICALT
2010
IEEE
14 years 11 months ago
What You Check is What You Get: Authoring with jEditOQMath
Abstract--jEditOQMath is an authoring tool for the intelligent learning environment ActiveMath. Its editing interface is a simple source editor. However the wealth and power of the...
Paul Libbrecht
EEE
2005
IEEE
15 years 3 months ago
From Education to e-Learning : A Union Catalog Service of Learning Resources
Computer-Supported Collaborative Learning (CSCL) is a new learning method that is receiving an increasing amount of attention in Taiwan. With the rapid growth in learning resource...
Pei-Xian Kuo, Jyun-Jie Yan, Jan-Ming Ho
FASE
2009
Springer
15 years 1 months ago
Interface Generation and Compositional Verification in JavaPathfinder
Abstract. We present a novel algorithm for interface generation of software components. Given a component, our algorithm uses learning techniques to compute a permissive interface ...
Dimitra Giannakopoulou, Corina S. Pasareanu
UIST
2006
ACM
15 years 3 months ago
Pen-top feedback for paper-based interfaces
Current paper-based interfaces such as PapierCraft, provide very little feedback and this limits the scope of possible interactions. So far, there has been little systematic explo...
Chunyuan Liao, François Guimbretière...
CHI
2008
ACM
15 years 10 months ago
Impact of screen size on performance, awareness, and user satisfaction with adaptive graphical user interfaces
Adaptive personalization, where the system adapts the interface to a user's needs, has the potential for significant performance benefits on small screen devices. However, re...
Leah Findlater, Joanna McGrenere