This paper describes evaluation results for a software programme that is intended to be used as a training-aid for lipreading in German. Tests were carried out in schools for hear...
Blind people encounter great difficulties in dealing with Mathematics. Based on an analysis of these problems, we shall outline possible strategies to overcome them through softwa...
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. ...