The ideal software contract fully specifies the behavior of an operation. Often, in particular in the context of scripting languages, a full specification may be cumbersome to s...
Phillip Heidegger, Annette Bieniusa, Peter Thieman...
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...
Creolization is a self-organization process of new language community. Thus far, a simulation study of the emergence of creoles has been reported in the mathematical framework. In...
Grounded language models represent the relationship between words and the non-linguistic context in which they are said. This paper describes how they are learned from large corpo...
This paper presents λI , a language for dynamic tracking of information flow across multiple, interdependent dimensions of information. Typical dimensions of interest are integr...