56 search results - page 3 / 12 » What Happened in CLEF 2007 |
JUCS
2007
13 years 6 months ago
2007
: This introductory paper gives some historical background to the emergence of formal methods, overviews what subsequently happened, and surveys prospects for the future. Brief
RIAO
2007
13 years 8 months ago
2007
The automatic summarisation of sports video is of growing importance with the increased availability of on-demand content. Consumers who are unable to view events live often have ...
AIED
2007
Springer
14 years 1 months ago
2007
Springer
One important aspect of motivation is engagement. In order to learn, students need to be engaged in the learning activities. However, that does not always happen due to various fac...
IJKL
2007
13 years 6 months ago
2007
: In what sense, then, can it be said that contemporary societies are becoming more and more dependent on the production, dissemination and use of knowledge? Are we witnessing a ch...
ACS
2007
13 years 7 months ago
2007
: In pointfree topology, the point-finite covers introduced by Dowker and Strauss do not behave similarly to their classical counterparts with respect to transitive quasi-uniformi...