Based on collective learning systems theory, a Transputer-based parallel processing imageprocessing engine, known as ALIAS (Adaptive Learning Image Analysis System) has been applied to a difficult image processing problem: the detection of anomalies in otherwise normal images. This system was designed and developed at the Research Institute for Applied Knowledge Processing (FAW) in Ulm, Germany...

Many current program analyses require highly precise pointer information about small, targeted parts of a given program. This motivates the need for demand-driven pointer analyses that compute information only where required. Pointer analyses generally compute points-to sets of program variables or answer boolean alias queries. However, many client analyses require richer pointer information. F...

It has been a long open question whether the pseudospectral Fourier method without smoothing is stable for hyperbolic equations with variable coeecients that change signs. In this work we answer this question with a detailed stability analysis of prototype cases of the Fourier method. We show that due to weighted L 2-stability, the N-degree Fourier solution is algebraically stable in the sense ...

Duplicate elimination is an important stage in integrating data from multiple sources. The challenges involved are finding a robust deduplication function that can identify when two records are duplicates and efficiently applying the function on very large lists of records. In ALIAS the task of designing a deduplication function is eased by learning the function from examples of duplicates and ...

The phase or orbital light curves of extrasolar terrestrial planets in reflected or emitted light will contain information about their atmospheres and surfaces complementary to data obtained by other techniques such as spectrosopy. We show calculated light curves at optical and thermal infrared wavelengths for a variety of Earth-like and Earth-unlike planets. We also show that large satellites ...

Data structures for efficient sampling from a set of weighted items are an important building block many applications. However, few parallel solutions known. We close these gaps. give efficient, fast, and practicable distributed algorithms data that support single (alias tables, compressed structures). This also yields simplified more space-efficient sequential algorithm alias table constructio...

Contrast sensitivity for orientation discrimination is limited to spatial frequencies below 50-60 cycles per degree by neural spatial integration, and we find that contrast sensitivity, measured using an orientation-discrimination criterion, declines sharply with increasing spatial frequencies in that range. Yet interference fringe patterns pulsed at constant mean luminance can be detected at s...

In a multi-agent learning where multiple agents are learning, there is a problem about an indirect reward that is how to distribute a reward to an agent that does not obtain a reward directly.We have shown the theorem [3] about ”negative effect” of an indirect reward. This paper focuses on the ”positive effect” of an indirect reward such as an elimination of the perceptual aliasing problem [1]....

Object-oriented languages allow any object to point to any other object, limited only by type. The resultant possible aliasing makes programs hard to verify and maintain. Much research has been done on alias protection schemes to restrict aliasing. However, existing schemes are either informal (design-patternlike) or static type-like systems. The former are hard to verify, while the latter tend...

Tofte and Talpin proposed a novel method for memory management called region inference in typed, higher-order languages[7]. In their method, memory is composed of blocks called regions, and when to allocate and deallocate regions are determined automatically by the compiler using a type system, and source programs are translated into target programs with region annotations. Their method realize...