We present two instantiations of generic Interactive State Machines (ISMs) with mobility features which are useful for modeling and verifying dynamically changing mobile systems. I...
We often reach conclusions partially on the basis that we do not have evidence that the conclusion is false. A newspaper story warning that the local water supply has been contamin...
A new approach to automatically extract the main features in color fundus images are proposed in this paper. Optic disk is localized by the principal component analysis (PCA) and ...
We begin by discussing causal independence models and generalize these models to causal interaction models. Causal interaction models are models that have independent mechanisms w...
We consider graph properties that can be checked from labels, i.e., bit sequences, of logarithmic length attached to vertices. We prove that there exists such a labeling for check...
Bruno Courcelle, Cyril Gavoille, Mamadou Moustapha...