We present a tutorial on verification of safety properties for parameterized systems. Such a system consists of an arbitrary number of processes; the aim is to prove correctness of...
Abstract. A fundamental problem with a large class of image registration techniques is that the estimated transformation from image A to B does not equal the inverse of the estimat...
Abstract. The input of the Edge Multicut problem consists of an undirected graph G and pairs of terminals {s1, t1}, . . . , {sm, tm}; the task is to remove a minimum set of edges s...
The problem of approximate parameterized string searching consists of finding, for a given text t = t1t2 ...tn and pattern p = p1p2 ...pm over respective alphabets Σt and Σp, t...
The performances of face recognition systems are heavily subject to the variations in lighting. We propose a novel approach for face recognition under generic illumination conditi...