This paper introduces six ways for handling a chain of lexicographic ordering constraint between the origins of identical orthotopes (e.g., rectangles, boxes, hyper-rectangles) subject to the fact that they should not pairwise overlap. While the first two ways deal with the integration of a chain of lexicographic ordering constraint within a generic geometric constraint kernel, the four latter ...

Symmetry is an important feature of many constraint programs. We show that any problem symmetry acting on a set of symmetry breaking constraints can be used to break symmetry. Different symmetries pick out different solutions in each symmetry class. This simple but powerful idea can be used in a number of different ways. We describe one application within model restarts, a search technique desi...

Microblog retrieval enables users to access relevant information from the huge number of tweets posted on social media. Since tweets are different from traditional documents, existing IR models might not be the optimal choice for this problem. Tie-breaking has been recently proposed as a new way of combining multiple retrieval signals. In this paper, we focus on studying the potential of this a...

The jaw plays a significant role in speech production. This work introduces a muscle activated dynamic jaw model that will be connected in the future to the 3D tongue model already developed by our group. The bone structure of the jaw, extracted from CT Images, is represented as a biomechanical model using quadrilateral shell elements. Opener and closer muscles are represented as line-segmented...

We consider a problem of managing a system of spatially distributed markets under capacity and balance constraints and show that solutions of a variational inequality enjoy auction principle properties implicitly. This enables us to develop efficient tools both for derivation of existence and uniqueness results and for creation of solution methods.

The Declarative Process Intermediate Language (DPIL) is a declarative process modelling language that allows for specifying multiperspective and multi-modal agile, i.e., flexible, processes. The expressiveness of DPIL and its suitability for business process modelling have been evaluated with respect to the well-known Workflow Patterns. The DPIL Framework provides a tool set for supporting agil...