We adopt the following convention: α, β, γ, δ denote ordinal numbers, k denotes a natural number, and x, y, z, t, X, Y , Z denote sets. The following propositions are true: (1) x ∈ (α+ β) \ α iff there exists γ such that x = α+ γ and γ ∈ β. (2) Suppose α ∈ β and γ ∈ δ. Then γ 6= α and γ 6= β and δ 6= α and δ 6= β or γ ∈ α and δ = α or γ ∈ α and δ = β or γ = α and δ ∈ β or γ = α and δ = β or γ =...

GXL (Graph eXchange Language) is designed to be a standard data exchange format for graph-based tools. GXL is defined as an XML sublanguage, which offers support for exchanging instance graphs together with their appropriate schema information in a uniform format. Formally, GXL is based on typed, attributed, directed, ordered graphs which are extended by concepts to represent hypergraphs and hi...

Pasting somebody’s face into an existing image with traditional photo retouching and digital image processing tools has only been possible if both images show the face from the same viewpoint and with the same illumination. However, this is rarely the case for given pairs of images. We present a system that exchanges faces across large differences in viewpoint and illumination. It is based on a...

E-Commerce applications require the exchange of data in an interoperable manner. XML enables syntactic interoperability but more sophisticated E-Commerce applications require semantic interoperability as well. RDF is an application of XML intended to exchange semantics between Web applications. RDF schemata can be used to describe the concepts and constraints of a specific application domain at...

The sorting by strip exchanges (aka strip exchanging) problem is motivated by applications in optical character recognition and genome rearrangement analysis. While a couple of approximation algorithms have been designed for the problem, nothing has been known about its computational hardness till date. In this work, we show that the decision version of strip exchanging is NP-Complete. We prese...

Traditionally, geostatistical algorithms are contained within specialist GIS and spatial statistics software. Such packages are often expensive, with relatively complex user interfaces and steep learning curves, and cannot be easily integrated into more complex process chains. In contrast, Service Oriented Architectures (SOAs) promote interoperability and loose coupling within distributed syste...