Bidirectional model transformation is useful for maintaining consistency between two models, and has many potential applications in software development including model synchronization, round-trip engineering, and software evolution. Despite these attractive uses, the lack of a practical tool support for systematic development of well-behaved and efficient bidirectional model transformation pre...

A profile hidden Markov model (PHMM) is widely used in assigning protein sequences to protein families. In this model, the hidden states only depend on the previous hidden state and observations are independent given hidden states. In other words, in the PHMM, only the information of the left side of a hidden state is considered. However, it makes sense that considering the information of the b...

Bidirectional model transformation plays an important role in maintaining consistency between two models, and has many potential applications in software development, including model synchronization, round-trip engineering, software evolution, multiple-view software development, and reverse engineering. However, unclear bidirectional semantics, weak bidirectionalization method, and lack of syst...

In this paper we present two novel reflectance measurement procedures that requiresampling

The reflected radiation by observed surface is highly dependent on both sun illumination and satellite observation angles. These two angles are also described, respectively, as incident and reflected angles. The geometry-dependence of surface reflectance is usually corrected by a tailored Bi-directional Reflectance Distribution Function (BRDF). It is the most common tool used to eliminate or to...

Atmospheric aerosol properties and land surface reflectance can be retrieved from dual-angle AATSR measurements. In this paper a map of aerosol optical depth at 550 nm covering the Sahel and Southern Sahara region is presented. The map is a composite of thirtytwo 500 km wide AATSR strip-lines acquired throughout March 2003. Verification is performed using the MODIS and MISR global aerosol produ...

ion Heuristics for Symbolic Bidirectional Search