We propose an extension of the conformal (or geodesic) active contour framework in which the conformal factor depends not only on the position of the curve but also on the directi...
Abstract. We introduce the notion of regular cost functions: a quantitative extension to the standard theory of regular languages. We provide equivalent characterisations of this n...
We demonstrate a tool to incrementally synchronize an Acme architectural model described in the Acme Architectural Description Language (ADL) with an implementation in ArchJava, a...
Marwan Abi-Antoun, Jonathan Aldrich, David Garlan,...
Component-based development has emerged as an effective approach to building flexible systems, but there is little experience in applying this approach to Grid programming. This p...
Nikos Parlavantzas, Matthieu Morel, Vladimir Getov...
In this paper we overview our recent work and outline our current line of research: First, we describe the WCSP framework and its related local consistencies. Second, the Max-SAT p...