In the present paper, we study the problem of aggregation under the squared loss in the model of regression with deterministic design. We obtain sharp oracle inequalities for conve...
Abstract. Model checking is a way of analysing programs and programlike structures to decide whether they satisfy a list of temporal logic statements describing desired behaviour. ...
This paper describes how we address the different steps proposed in the workshop “Comparing Educational Modeling Languages on a case study” with LDL and the associated infrast...
Christian Martel, Laurence Vignollet, Christine Fe...
This paper describes the foundations of LDL and the associated infrastructure LDI. It explains why we have chosen to define this new EML instead of using an existing one like IMS-...
Christian Martel, Laurence Vignollet, Christine Fe...
This paper presents a neuro-fuzzy system that can be used for student modeling. The proposed system enables classification of students based on qualitative observations of their c...