No abstract

We introduce a probabilistic language and an efficient inference algorithm based on distributional clauses for static and dynamic inference in hybrid relational domains. Static inference is based on sampling, where the samples represent (partial) worlds (with discrete and continuous variables). Furthermore, we use backward reasoning to determine which facts should be included in the partial worlds. For filtering in dynamic models we combine the static inference algorithm with particle filters and guarantee that the previous partial samples can be safely forgotten, a condition that does not hold in most logical filtering frameworks. Experiments show that the proposed framework can outperform classic sampling methods for static and dynamic inference and that it is promising for robotics and vision applications. In addition, it provides the correct results in domains in which most probabilistic programming languages fail.

No abstract

Abstract-We introduce a probabilistic language and a fast inference algorithm for state estimation in hybrid dynamic relational domains with an unknown number of objects. More specifically, we apply Particle Filters to distributional clauses. The particles represent (partial) interpretations of possible worlds (with discrete and/or continuous variables) and the filter recursively updates its beliefs about the current state. We use backward reasoning to determine which facts should be included in the partial interpretations. Experiments show that our framework can outperform the classical particle filter and is promising for robotics applications.

This work presents an analysis of the applicability of synthetic aperture radar (SAR) interferometry to landslide monitoring. This analysis was carried out by using different interferometric approaches, different spaceborne SAR data (both in the C-band and in the X-band), and in situ global navigation satellite system (GNSS) measurements. In particular, we investigated both the reliability of displacement monitoring and the issues of the cross-comparison and validation of the interferometric synthetic aperture radar (InSAR) results. The work was focused on the slow-moving landslide that affects a relevant part of the urban area of the historical town of Assisi (Italy).A C-band ENVISAT advanced synthetic aperture radar (ENVISAT ASAR) dataset acquired between 2003 and 2010 was processed by using two different interferometric techniques, to allow cross-comparison of the obtained displacement maps. Good correspondence between the results was found, and a deeper analysis of the movement field was possible. Results were further compared to a set of GNSS measurements with a 7 year overlap with SAR data. A comparison was made for each GNSS marker with the surrounding SAR scatterers, trying to take into account local topological effects, when possible.Further, the high-resolution X-band acquired on both ascending and descending tracks by the COSMO-SkyMed (CSK) constellation was processed. The resultant displacement fields show good agreement with C-band and GNSS measurements and a sensible increase in the density of measurements.

We propose a relational model for online object tracking during human activities using the Distributional Clauses Particle Filter framework, which allows to encode commonsense world knowledge such as qualitative physical laws, object properties as well as relations between them. We tested the framework during a packaging activity where many objects are invisible for longer periods of time. In addition, we extended the framework to learn the parameters online and tested it in a tracking scenario involving objects connected by strings.

COSMO/SKYMED is currently the unique constellation of synthetic aperture radar (SAR) sensors operative, which is also for civilian use. On April 6, 2009, an Mw 6.3 earthquake struck the city of l'Aquila in Central Italy. The constellation acquired data stacks over the hit area at an unprecedented temporal rate. In this letter, the results obtained by processing several data set via two independent multitemporal differential interferometric SAR techniques are presented to demonstrate the capability of this constellation in postseismic deformations monitoring

The traditional approach for coastal monitoring consists in ground investigations that are burdensome both in terms of logistics and costs, on a national or even regional scale. Earth Observation (EO) techniques can represent a cost-effective alternative for a wide scale coastal monitoring. Thanks to the all-weather day/night radar imaging capability and to the nationwide acquisition plan named MapItaly, devised by the Italian Space Agency and active since 2010, COSMO-SkyMed (CSK) constellation is able to provide X-band images covering the Italian territory. However, any remote sensing approach must be accurately calibrated and corrected taking into account the marine conditions. Therefore, in situ data are essential for proper EO data selection, geocoding, tidal corrections and validation of EO products. A combined semi-automatic technique for coastal risk assessment and monitoring, named COSMO-Beach, is presented here, integrating ground truths with EO data, as well as its application on two different test sites in Apulia Region (South Italy). The research has shown that CSK data for coastal monitoring ensure a shoreline detection accuracy lower than image pixel resolution, and also providing several advantages: low-cost data, a short revisit period, operational continuity and a low computational time.