Measuring graph similarity is a key issue in many applications. We propose a new constraint-based modeling language for defining graph similarity measures by means of constraints. ...
Abstract. Many combinatorial problems encountered in practice involve constraints that require that a set of variables take distinct or equal values. The AllDifferent constraint, i...
Abstract. In functional programming languages the use of infinite structures is common practice. For total correctness of programs dealing with infinite structures one must guarant...
Mental illness has been identified as one of the greatest challenges facing society in the coming decades. However, there are significant barriers to access for many people suffer...
Many augmented reality (AR) applications which overlay computer graphics on a real image have been developed. One of the limitations of such applications is that a user has to con...