Currently the development of automatic control system is mainly based on manual design. This has made the development process complicated and has made it difficult to guarantee system requirement. This paper presents a Model interpretation development architecture built on meta-models and model interpretation. In this modeling and developing process, different meta-models or domain models may b...

A method for generating polynomial invariants of imperative programs is presented using the abstract interpretation framework. It is shown that for programs with polynomial assignments, an invariant consisting of a conjunction of polynomial equalities can be automatically generated for each program point. The proposed approach takes into account tests in conditional statements as well as in loo...

Background: The EU-project Flourish intends to establish an autonomously operating precision farming system based on the interaction between unmanned ground vehicles (UGVs) and unmanned aerial vehicles (UAVs). For effective mission planning and site-specific ground intervention by the UGV, the growth, mineral nutrition, weed, and health status of the crop field must be evaluated efficiently. In...

We consider the problem of synthesizing provably non-overflowing integer arithmetic expressions or Boolean relations among integer arithmetic expressions. First we use a numerical abstract domain to infer numerical properties among program variables. Then we check if those properties guarantee that a given expression does not overflow. If this is not the case, we synthesize an equivalent, yet n...

This paper describes a semi-automatic procedure for cartographic mapping using high resolution SAR data. Two-dimensional and three-dimensional feature extractions are combined in order to achieve a basic yet effective recognition of the elements in the scene. Many interesting elements of the landscape are automatically extracted without requiring a large interaction with the operator. In partic...

Strokes—caused by a disturbance of blood supply to the brain— are a leading cause of death and disability worldwide.1 In the majority of cases, strokes are caused by a blockage of the blood supply (known as an ischemic stroke), but another type of stroke (hemorrhagic stroke) is caused by the rupture of a vessel or aneurysm. Strokes can result in soft tissue damage and loss of brain function. Tr...

The objective of this chapter is to introduce the reader to the recent advances in computer processing of facial expressions and communicated affect. Human facial expressions have evolved in tandem with human face recognition abilities, and show remarkable consistency across cultures. Consequently, it is rewarding to review the main traits of face recognition in humans, as well as consolidated ...

-The focus-of-attention techniques implemented in SNA2, a knowledge-based system for seismogram interpretation, are presented. They consist of data compression of the input digital records, scanning of the compressed traces to detect candidate seismograms and extraction of seismogram features. A criterion is given to rate the clarity of seismograms; the clarity defines the order in which the sy...

The longstanding problem of automatic table interpretation still illudes us. Its solution would not only be an aid to table processing applications such as large volume table conversion, but would also be an aid in solving related problems such as information extraction and semi-structured data management. In this paper, we offer a conceptual modeling solution for the common special case in whi...