We provide a detailed description of refinement in Event-B, both as a contribution in itself and as a foundation for the approach to simultaneous animation of multiple levels of re...
Stefan Hallerstede, Michael Leuschel, Daniel Plagg...
This paper presents a new corpus of human answers in natural language. The answers were collected in order to build a base of examples useful when generating natural language answ...
The shape of a population of geometric entities is characterized by both the common geometry of the population and the variability among instances. In the deformable model approach...
Conglin Lu, Stephen M. Pizer, Sarang C. Joshi, Ja-...
Abstract Complex systems call for a hierarchical description. Analogously, the engineering of non-trivial MASs (multiagent systems) requires principles and mechanisms for a multi-l...
Ambra Molesini, Andrea Omicini, Alessandro Ricci, ...