Abstract GRIX system, which is a visual programming system specified for interprocessor communications in parallel computing, is proposed in this paper. In general, the scheduling ...
Unfailing completion is a commonly used technique for equational reasoning. For equational problems with associative and commutative functions, unfailing completion often generate...
We present sppc, a high-performance system for intelligent text extraction and navigation from German free text documents. sppc consists of a set of domainindependent shallow core...
We introduce in this paper the general architecture of an image search engine based on pre-attentive similarities. The components of this system are presented and some of them are...
Alexander Heinrichs, Dimitri Koubaroulis, Barbara ...
High-level understanding of data must involve the interplay between substantial prior knowledge with geometric and statistical techniques. Our approach emphasizes the recovery of ...