553 search results - page 63 / 111 » Learning Meets Verification |
ICALT
2005
IEEE
14 years 3 months ago
2005
IEEE
In Vocational training, trainees with every age groups have various kinds of vocational and educational. Instructors of vocational training have to teach them according to their d...
ITICSE
2004
ACM
14 years 3 months ago
2004
ACM
In this paper, we present an assignment for a course on Design patterns at the masters level, where students have to adapt an existing program to meet additional requirements. We ...
ECTEL
2006
Springer
14 years 1 months ago
2006
Springer
One way of providing technological support for CoPs is to help participants to produce, structure and share information. As this information becomes more and more multimedia in nat...
ICHIM
2001
13 years 11 months ago
2001
The work proposed in this paper is part of the development of an integrated environment for the exhibition of digitised museum artefacts. This environment will enable the realisti...
INLG
2010
Springer
13 years 7 months ago
2010
Springer
16:30 Generating and Validating Abstracts of Meeting Conversations: a User Study. Gabriel Murray, Giuseppe Carenini and Raymond Ng 16:30 - 16:45 Break Session 3: Sentence Level Gen...