The objective of this work is the visualisation and simulation for automatic video interpretation. We have conceived a test framework that generates 3D animations corresponding to behaviours recognised by an automatic interpretation system or corresponding to behaviours described by an expert. Conceiving this test framework is essential in order to be able to develop and validate the interpreta...

The main goal of every method of automatic analysis, recognition and also understanding of any medical signal is to follow the physician’s method of observation and thinking. Apparently it is easy, because the procedures of human interpretation of biosignals are now well standardized. In fact the real way of making observations and thinking about diagnosis highly depends on the observer experie...

The objective of the work consists in the design and implementation of techniques of automatic recognition of weld regions. It is aimed to complete a system of automatic inspection of radiographic images of welded joints. It deals with the problem of the delimitation of the weld regions according to the general scheme of image interpretation systems based on knowledge.

A significant problem in automatic scene interpretation is the ability to perform contextually meaningful segmentation of both static and moving images using a bottom-up approach. We examine and propose an extension to Kadir and Brady’s Scale Saliency Algorithm for quantifying temporal saliency and performing automatic spatial and temporal scale selection.

Medical imaging is a vital clinical and research tool that has made significant strides in the last few decades with impressive advances in acquisition technology. However, image analysis and interpretation is still primarily performed manually, and is difficult to automate. In recent years, major advances have been made that allow more automatic image analysis, understanding, and interpretatio...

mirror neuron system 30 31  Cook: conducted experimental sessions; contributed to the data analysis and interpretation; wrote the first draft of the paper. Bird: contributed to the design of the experiment; conducted experimental sessions. Lünser: contributed to the design, data analysis and second draft of the paper. Huck: provided the idea for the study; contributed to the design, data analy...

This paper is a tutorial on the principles and applications of static verification by Abstract Interpretation to development, verification and validation of embedded applications. The topics covered include what Abstract Interpretation is, how it works, how it can help in verification and validation activities. It will also present an industrial tool for the automatic detection of runtime errors.

This paper presents a new technique for combining the inference power of abstract interpretation with the precision and flexibility of an automatic satisfiabilitymodulo-theories theorem prover.

of the paper: Paolo Salvaneschi, Marco Lazzari "A family of software components to deliver solutions for the interpretation of monitoring data" in I. Smith (ed.), Artificial intelligence in structural engineering, Lecture Notes in Artificial Intelligence 1454, Springer, Berlin, Germany, 1998 A family of software components to deliver solutions for the interpretation of monitoring data Paolo Sal...