There are many schemes in the literature for protecting digital data from piracy by the use of digital fingerprinting, such as frameproof codes and traitor-tracing schemes. The c...
Dye Penetrant Inspection (DPI) and Magnetic Particles Inspection (MPI) are two of the most commonly used Non-Destructive Testing (NDT) techniques in industry. Both techniques do re...
This article deals with a method used to describe and manage spatial knowledge. Each spatial datum is considered as an information element, whose location and value are independen...
J.-N. Paoli, Olivier Strauss, B. Tisseyre, J.-M. R...
Abstract. This paper analyses the complexity of model checking Fixpoint Logic with Chop – an extension of the modal µ-calculus with a sequential composition operator. It uses tw...
We introduce a framework for image enhancement, which smooths images while preserving edge information. Domain (spatial) and range (feature) information are combined in one single...