We show that a particular parameter plays a vital role in the resolution of S-unit equations, at the stage where LLL-reduction is applied. We define the notion of optimal system of fundamental S-units (with respect to this parameter), and prove that such a system exists and can be effectively constructed. Applying our results and methods, one can obtain much better bounds for the solutions of S...

In this paper we present the core of LoCo, a logic-based high-level representation language for expressing configuration problems. LoCo shall allow to model these problems in an intuitive and declarative way, the dynamic aspects of configuration notwithstanding. Our logic enforces that configurations contain only finitely many components and reasoning can be reduced to the task of model constru...

In order to apply advanced high-level concepts for transportation networks, like hypergraphs, multi-level wayfinding and traffic forecasting, to commercially available street network datasets, it is often necessary to generalise from network primitives. However, the appropriate method of generalisation strongly depends on the complex street network feature they belong to. In this paper, we deve...

We present an approach for recognizing human walking movements using low-level motion regularities and constraints. Biomechanical features for classification are automatically extracted from video sequences of walkers. A multiplicative classification rule using statistical distances is then used to determine whether an unknown motion is consistent with normal walking patterns. Recognition resul...

We give a translation of the visual description technique DiCharts to the synchronous language PURR. As a result, the design of a system can start with a graphical description technique at a very high-level and can then be automatically translated to the synchronous language PURR. This translation allows the further synthesis of the system and in particular, its verification.

Although information and communication technologies is beneficial for improving employee performance, frequently learning new technologies or extensively using technologies to work in non-working hours may lead to an increase of employee’s techno-invasion. However, little is known whether techno-invasion, a technostressor, causes employee job anxiety. Also, it remains unclear “when” techno-inva...

The use of video and audio features for automated annotation of audio-visual data is becoming widespread. A major limitation of many of the current methods is that the stored indexing features are too low-level — they relate directly to properties of the data. In this work we apply a further stage of processing that associates the feature measurements with real-world objects or events. The outp...