In this paper we investigate the existence of a deductive ver-iication method based on a logic that describes pointer aliasing. The main idea of such a method is that the user has to annotate the program with loop invariants, pre-and post-conditions. The annotations are then automatically checked for validity by propagating weakest preconditions and verifying a number of induced implications. S...

The scaling exponent of a 1/ f noise time series is commonly estimated from the power-law slope of its Fourier power spectrum. Here I show that because 1/ f noises typically have significant power above the Nyquist frequency, measurements of their power spectra will often be severely distorted by aliasing, not only near the Nyquist frequency, but also far below it. I show that spectral aliasing...

A technique is developed for reducing the amount of aliasing in the spectral analysis of TIDI observations, by ingestion of ground-based data into the satellite data set. A multi-dimensional (space-time) least squares fitting approach is applied to the satellite and ground-based data to determine the aliasing spectra. The addition of ground-based data to the TIDI data set reduces the aliased co...

This paper describes a low-voltage and low-power Gm-C low pass filter. The low-pass filter that precedes the A/D converter is called anti-aliasing filter. In the analog signal processing, the anti-aliasing filter would be one of the most important circuits in the transceiver architecture. This filter is located in the analog front-end circuits of DAB receivers. The 4 – order butterworth Gm-C lo...

Pixel-trace filtering is an efficient anti-aliasing technique for sequence animation because its computation cost is constant regardless of scene complexity. Although it works well in simple cases, it has shortcomings with steady objects, moving shadows, reflective/refractive objects, and deforming objects. This paper significantly improves pixel-trace filtering and eliminates all these restric...

The 'Aliasing Problem' within XCS (Wilson, 1995, 1998), first identified by Lanzi (1997), does not only appear whenever the aliased states occur in separate environmental locations but also when they occur consecutively (Barry, 1999). Lanzi (1997, 1998) introduced a mechanism that could solve the Aliasing Problem through the use of memory mechanisms within XCS (Wilson, 1995; Cliff and Ross, 199...

In this paper we present a parallel method for high-quality edge anti-aliasing in rasterization. In contrast to traditional graphics hardware methods, which rely on massive oversampling to combat aliasing issues, we evaluate a closed-form solution of the associated prefilter convolution. This enables the use of a wide range of filter functions with arbitrary kernel sizes, as well as general sha...