We solve the open problem of the decidability of Boolean BI logic (BBI), which can be
considered as the core of separation and spatial logics. For this, we define a complete …

Tracking and predicting cloud movement is one the most important step in pluviometry. The
purpose of this study is to develop a self adjusting technique to predict the movement of …

Calculating the motion vectors based on the infrared observations can complement the gaps
of the passive microwave and radar observations. So, it is an essential step in numerical …

A novel hierarchical method for finding tracer clouds from weather satellite images is
proposed. From the sequence of cloud images, different features such as mean, standard …

The estimation of cloud motion from a sequence of satellite images can be considered a
challenging task due to the complexity of phenomena implied. Being a non-rigid motion and …

Determination of atmospheric dynamic characteristics from remote sensing imagery is
fundamental in weather and climate studies. The SEVIRI radiometer, on board the MSG, with …

This paper present a new technique for the estimation of cloud motion, using a sequence of
infrared satellite images. It can be considered a challenging task due to the complexity of …

This paper introduces a hierarchical mesh-based tracking algorithm designed to retrieve two-
dimensional cloud-top advection to near-pixel resolutions from geostationary satellite …

Thermal infrared images are quite useful in detection of convective clouds for meteorological
purposes. Several techniques are available for the detection and tracking of clouds in …

Detection and identification of convective clouds can be done from thermal infrared (TIR)
images (10.5-12.5 μm) as clouds are associated with extremely low temperature. Clouds …