Although sorts and unary predicates are semantically identical in order-sorted logic, they are classified as different kinds of properties in formal ontology (e.g. sortal and non...
In this paper we investigate how it is possible to recover an automaton from a rational expression that has been computed from that automaton. The notion of derived term of an expr...
The objective of the Ph.D. work discussed in this paper is to define a methodology for the design of distributed applications, in line with the ModelDriven Architecture (MDA). An i...
One of the key issues of object-oriented modeling is inheritance. It allows for the definition of a subclass that inherits features from some superclass. When considering the dynam...
This article presents colposcopic image classification based on contour parameters used in a comparison study of different artificial neural networks and the knearest neighbors re...
Isabelle Claude, Renaud Winzenrieth, Philippe Poul...