If models can be true, where is their truth located? Giere (e.g. 1988) has suggested an account of theoretical models on which models themselves are not truth-valued. The paper su...
Traditional security analyses are often geared towards cryptographic primitives or protocols. Although such analyses are absolutely necessary, they do not provide much insight for...
: Motivationally intelligent systems deploy resources and tactics dynamically to maintain or increase the student’s desire to learn and her willingness to expend effort in so doi...
Benedict du Boulay, Genaro Rebolledo-Mendez, Rosem...
This discussion paper describes a sequence of experiments with human subjects aimed at finding out how an nlg system should choose between the different forms of a gradable adjec...
A huge amount of effort is consumed in modelling business processes, and then in developing and maintaining tools, documentation, and training courses to support the modelled proce...