Une Approche Logico-Symbolique Des Connaissances Nuanc Ees Via

Dans cet article nous pr'esentons une notion de d'ependance en logique propositionnelle : la d'efinissabilit 'e. Intuitivement, un ensemble de variables propositionnelles X d'efinit une variable propositionnelle y sachant une base de connaissances \Sigma si et seulement si la connaissance des valeurs de v'erit'e des variables de X permet de d'eterminer celle de y. Nous donnons plusieurs caract'erisations de la d'efinissabilit'e, 'etudions sa complexit'e, proposons un algorithme pour calculer des familles d'efinissantes minimales, et donnons des...

Introduction Dans ce travail, nous nous interessons au traitement qualitatif de l'information imprecise dans les systemes a base de connaissances. Pour fournir ces informations, l'expert humain fait generalement appel a des connaissances imprecises exprimees dans un langage de nature qualitative comme "Dupont est jeune", "le prix est elev e" ou "Pascal est vraiment tr es intelligent". La gestion de ce type de connaissances se deroule en deux etapes : la premiere est la representation des connaissances, la seconde est le raisonnement sur celles-...

Introduction Dans ce travail, nous nous interessons au traitement qualitatif de l'information imprecise dans les systemes a base de connaissances. Pour fournir ces informations, l'expert humain fait generalement appel a des connaissances imprecises exprimees dans un langage de nature qualitative comme "Dupont est jeune", "le prix est elev e" ou "Pascal est vraiment tr es intelligent". La gestion de ce type de connaissances se deroule en deux etapes : la premiere est la representation des connaissances, la seconde est le raisonnement sur celles-...

Nous avons d?fini et r?alis? un concept de carte ? puce internet. Une carte ? puce internet est un dispositif capable de se comporter comme un n?ud du r?seau internet et qui impl?mente des applications serveurs ou clientes (sp?cifi?es par des standards internet, tels que RFC 2068

Introduction Dans ce travail, nous nous interessons au traitement qualitatif de l'information imprecise dans les systemes a base de connaissances. Pour fournir ces informations, l'expert humain fait generalement appel a des connaissances imprecises exprimees dans un langage de nature qualitative comme "Dupont est jeune", "le prix est elev e" ou "Pascal est vraiment tr es intelligent". La gestion de ce type de connaissances se deroule en deux etapes : la premiere est la representation des connaissances, la seconde est le raisonnement sur celles-...

An important problem in computer vision is to recover how features extracted from images are connected to existing models. In this paper, we focus on solving the registration problem, i.e obtaining rigid displacement parameters between several 3D data sets, whether partial or exhaustive. The difficulty of this problem is to obtain a method which is robust to outliers and at the same time accurate. We present a general method performing robust 3D location and fitting based on fuzzy clustering method. The fuzzy set approach is known to its practi...

We introduce DPML, an intermediate-level portable language for massively parallel programming designed as an extension of Mini-ML. Its parallel execution mode generalises data-parallelism and features explicit localisations and communications. Unlike imperative parallel languages with explicit communications, DPML is deterministic. A DPML program is seen as a static vector of ML programs communicating through remote evaluation and a global protocol. The language's implementation reuses that of Caml and does not require a distributed GC. Keyword...

In this paper we present a system for face recognition based on a geometrical approach. This system is made of three main processing steps: salient face features are first located; their boundaries are then obtained using an active contour model and finally we apply a factorial analysis on these data in order to recognize the face. The localization of the salient features, such as nose, mouth and eyes is obtained by using morphological operators. In order to extract the boundary of these elements, we use a specific active contour method. This m...

This paper presents the architecture and the algorithms used in DIET (Distributed Interactive Engineering Toolbox), a hierarchical set of components to build Network Enabled Server applications in a Grid environment. This environment is built on top of different tools which are able to locate an appropriate server depending of the client's request, the data localization (which can be anywhere on the system, because of previous computations) and the dynamic performance characteristics of the system.

In this paper we present a system for face recognition based on a geometrical approach. This system is made of three main processing steps: salient face features are first located; their boundaries are then obtained using an active contour model and finally we apply a factorial analysis on these data in order to recognize the face. The localization of the salient features, such as nose, mouth and eyes is obtained by using morphological operators. In order to extract the boundary of these elements, we use a specific active contour method. This m...