The use of broadband satellite information for agricultural applications like crop growth monitoring and yield prediction currently is well adapted. In this paper, the potential of imaging spectrometry for agricultural applications is evaluated. Data of the AVIRIS spectrometer obtained during the MAC Europe 1991 campaign in The Netherlands are used. The information contained in these data is st...

An approach is presented to integrate PVS executable specifications and Stateflow models. It uses web services to enable a seamless exchange of simulation events and data between PVSio and Stateflow. The approach’s effectiveness is demonstrated on a medical device prototype. The prototype’s user interface is a PVS specification with its software controller implemented in Stateflow. Using the we...

Please cite this article in press as: S. Maldonado Comput. Vis. Image Understand. (2009), doi:10 Pattern recognition methods are used in the final stage of a traffic sign detection and recognition system, where the main objective is to categorize a detected sign. Support vector machines have been reported as a good method to achieve this main target due to their ability to provide good accuracy...

In [28], Schneider applies CSP to the modelling and analysis of authentication protocols and develops a general proof strategy for verifying authentication properties. This paper shows how the PVS theorem prover can provide e ective mechanical support to the approach.

This study investigates the land surface temperature (LST) distribution from thermal infrared data for analyzing the characteristics of surface coverage using the Vegetation–Impervious–Soil (VIS) approach. A set of ten images, obtained from Landsat-5 Thematic Mapper, between 2001 and 2010, were used to study the urban environmental conditions of 47 neighborhoods of Porto Alegre city, Brazil. Po...

SCIAMACHY on ENVISAT allows measurement of different trace gases including those most abundant in the troposphere (e.g. CO2, NO2, CH4, BrO, SO2). However, clouds in the observed scenes can severely hinder the observation of tropospheric gases. Several cloud detection algorithms have been developed for GOME on ERS-2 which can be applied to SCIAMACHY. The GOME cloud algorithms, however, suffer fr...

Visibility computation is used to reduce the amount of geometry that must be passed to the rendering engine. The model is subdivided into subvolumes called “cells”, and the visibility algorithm computes the set of cells that can at least partly be seen from the given viewpoint Airey [Aire90] called this the “potentially visible set” (PVS). The geometry associated with these cells (walls, interi...

Recently, low light level charge coupled devices (L3CCDs) capable of on-chip gain have been developed, leading to sub-electron effective readout noise, allowing for the detection of single photon events. Optical interferometry usually requires the detection of faint signals at high speed and so L3CCDs are an obvious choice for these applications. Here we analyse the effect that using an L3CCD h...

The interaction of the perimidone drug in solution state with the σ-acceptor iodine, the aliphatic π-acceptor tetracyanoethylene (TCNE) and the aromatic π-acceptor 2,3-dichloro-5,6-dicyano-1,4-benzoquinone (DDQ) have been studied through the initial formation of ionic intermediate to charge transfer (CT) complex in methanol at room temperature. The spectral studies of the complexes were determi...

Let Kk, Ck, Tk, and Pk denote a complete graph on k vertices, a cycle on k vertices, a tree on k + 1 vertices, and a path on k + 1 vertices, respectively. Let Km−H be the graph obtained from Km by removing the edges set E(H) of the graph H (H is a subgraph of Km). A sequence S is potentially Km − H-graphical if it has a realization containing a Km − H as a subgraph. Let σ(Km − H,n) denote the s...