In this work we tackle the following problem: given a timed automaton, and a target set F of configurations, restrict its transition relation in a systematic way so that from ever...
A method for extracting information about facial expressions from images is presented. Facial expression images are coded using a multi-orientation, multi-resolution set of Gabor ...
Michael J. Lyons, Shigeru Akamatsu, Miyuki Kamachi...
Isosurfaces are an important tool for finding features in 3D scalar data. This paper describes how recursive contour meshing is applied to extract similar features in 4-dimensiona...
A deductive technique is presented that uses voltage testing for the diagnosis of single bridging faults between two gate input or output lines and is applicable to combinational ...
Interaction with the environment is a key factor affecting the development of plants and plant ecosystems. In this paper we introduce a modeling framework that makes it possible t...