We present a syntactically enriched vector model that supports the computation of contextualized semantic representations in a quasi compositional fashion. It employs a systematic...
Managing long verification error traces is one of the key challenges of automated debugging engines. Today, debuggers rely on the iterative logic array to model sequential behavior...
Abstract. The Compressed Delta Encoding paradigm is introduced, i.e., delta encoding directly in two given compressed files without decompressing. Here we explore the case where th...
This paper describes our work in the field of semantic interoperability in Pan-European Public Services. After introducing a layered interoperability model, a typology of Pan-Euro...
Vassilios Peristeras, Konstantinos A. Tarabanis, N...
The scenarization of educational activities, especially those that are going to take place within elearning platforms, has for a number of years represented a major challenge for ...
Christian Martel, Laurence Vignollet, Christine Fe...