61 search results - page 13 / 13 » Using Graph Transformation Systems to Specify and Verify Dat... |
ICWE
2004
Springer
14 years 7 days ago
2004
Springer
Abstract. This paper describes the new e-learning tool CHESt that allows students to search in a knowledge base for short (teaching) multimedia clips by using a semantic search eng...