The first stages of the creative inventive process are devoted to choosing the problem and redefining its conditions. Most of the time, the original statement of the problem is imprecise, and occasionally even incorrect. This is why it is necessary to have mechanisms to help structure the creative thinking of a set of experts during their analysis of the problem, by providing them a knowledge-b...

This paper proposes a method for assigning gestures to text based on lexical and syntactic information. First, our empirical study identified lexical and syntactic information strongly correlated with gesture occurrence and suggested that syntactic structure is more useful for judging gesture occurrence than local syntactic cues. Based on the empirical results, we have implemented a system that...

Since the invention of the sound spectrograph in 1946 by Koenig, Dunn and Lacey, spectrograms have been widely used for speech research. Over the last decade there has been revived interest in the application of spectrogram reading toward continuous speech recognition. Spectrogram reading involves interpreting the acoustic patterns in the image to determine the spoken utterance. One must select...

Since 2012 we have been teaching agile development and model-based development (MBD) in undergraduate courses at King’s College London. In this paper we analyse the results of practical courseworks in agile MBD, taken from 2013-14 and 2014-15. We identify the factors which have contributed to the success or failure of students to apply theoretical knowledge to these practical problems, and we c...

This paper introduces a novel encoding of Model Based Diagnosis (MBD) to Boolean Satisfaction (SAT) focusing on minimal cardinality diagnosis. The encoding is based on a combination of sophisticated MBD preprocessing algorithms and the application of a SAT compiler which optimizes the encoding to provide more succinct CNF representations than obtained with previous works. Experimental evidence ...

The computation of minimal conflict sets is a central task when the goal is to find relaxations or explanations for overconstrained problem formulations and in particular in the context of ModelBased Diagnosis (MBD) approaches. In this paper we propose MERGEXPLAIN, a non-intrusive conflict detection algorithm which implements a divide-and-conquer strategy to decompose a problem into a set of sm...

This paper extends model-based diagnosis (MBD) (de Kleer and Williams 1987; Reiter 1987) to systems with hidden interaction faults. An interaction fault is present if an interaction among a set of components leads to an observable failure, even though each individual component individually meets the specifications. A naive approach to address interaction faults is to simply account for all poss...

In this paper we present an overview and summary of recent results of the minimum barrier distance (MBD), a distance operator that is a promising tool in several image processing applications. The theory constitutes of the continuous MBD in R, its discrete formulation in Z (in two different natural formulations), and of the discussion of convergence of discrete MBDs to their continuous counterp...

Current business trends, policy markets, production requirements, etc., have created the need for integrating Multi Agent Systems (MAS). In the agent-specialized literature, we have found very little work about MAS methodologies that allow us to build MAS which is made up of two or more MASs. We think that several difficult challenges for automated systems can be tackled by giving full meaning ...