553 search results - page 34 / 111 » Learning Meets Verification |
SOCRATES
2008
13 years 11 months ago
2008
The aim of the present paper is to discuss the achievements and the drawbacks of the integration of LMS (learning management systems) with the cooperative tools of the Web 2.0 thr...
AHS
2007
IEEE
13 years 11 months ago
2007
IEEE
Fault Tolerance is an increasing challenge for integrated circuits due to semiconductor technology scaling. This paper looks at how artificial evolution may be tuned to the creat...
IWEC
2004
13 years 11 months ago
2004
Multi-modal tabletop applications offer excellent opportunities for enriching the education of young children. Read-It is an example of an interactive game with a multi-modal tangi...
SIGCSE
1999
ACM
14 years 2 months ago
1999
ACM
Practical experiencesare necessaryto balance the theory discussed in textbooks and in class meetings. Effective practicalexperiencesmust have a clear purpose and must motivate stu...
ACL
2010
13 years 8 months ago
2010
We explore how to improve machine translation systems by adding more translation data in situations where we already have substantial resources. The main challenge is how to buck ...