Abstract. This paper presents a handwritten Greek character recognizer. The recognizer is composed of two modules: the first one is a feature extractor, the second one, the classi...
An electro-tactile display is a tactile interface composed of skin surface electrodes. Such displays comprise many useful features such as durability and energy efficiency, but the...
Analyzing and modelling a software system with separate views is a good practice to deal with complexity and maintainability. When adopting such a modular approach for modelling, i...
Franck Fleurey, Benoit Baudry, Robert B. France, S...
Model programs are a useful formalism for software testing and design analysis. They are used in industrial tools, such as SpecExplorer, as a compact, expressive and precise way to...