9110 search results - page 23 / 1822 » Formally-Based Design Evaluation |
ACMIDC
2010
14 years 11 months ago
2010
We have developed an educational software tool (Aprendiendo) to reinforce the learning process of children with special educational needs. This tool makes use of a variety of inte...
AAAI
2010
14 years 11 months ago
2010
Computer agents are increasingly deployed in settings in which they make decisions with people, such as electronic commerce, collaborative interfaces, and cognitive assistants. Ho...
48
Voted
ICSE
2007
IEEE-ACM
15 years 9 months ago
2007
IEEE-ACM
HICSS
2010
IEEE
15 years 4 months ago
2010
IEEE
The environment is affected by our collective behavior, yet many visualizations of energy saving behavior focus on personal actions, or simple, unidimensional comparisons between ...
EDM
2010
14 years 9 months ago
2010
This poster will describe the Learner Interaction Monitoring System (LiMS), designed to capture data demonstrating learner online engagement with course materials. The poster prese...