Samuel S. P. Shen

Learn More
We present a new characterization of termination of general logic programs. Most existing termination analysis approaches rely on some static information about the structure of the source code of a logic program, such as modes/types, norms/level mappings, models/interargument relations, and the like. We propose a dynamic approach that employs some key(More)
This study provides an adaptive data analysis method that assesses Alberta's acid depo-sition monitoring network of 9 stations and the relative importance of each station. The method is based on the assessment of the mean square error (MSE) of sampling expressed in terms of empirical orthogonal functions (EOF). The annual potential acid input (PAI) data of(More)
This paper uses the Hilbert–Huang transform (HHT) method to make time–frequency diagnostic analyses of four monthly time series of the All these data are the global land and ocean average of precipitation anomalies with respect to the mean of the entire data period. The MERG and REOF are spectral reconstructions based on historical data. The GPCP and CMAP(More)
  • 1