The development of flexible and reusable concurrent object-oriented programming abstractions has suffered from the inherent problem that reusability and extensibility is limited due to position-dependent parameters. To tackle this problem, we propose the FORM-calculus, an inherently polymorphic variant of the π-calculus, where polyadic tuple communication is replaced by monadic communication of...

Résumé. Dans cet article on propose une nouvelle approche qui rend explicite la notion de point de vue dans une analyse multivues issue d’un processus d’Extraction de Connaissances à partir de Données (ECD). Par point de vue, nous entendons la vision particulière d’un analyste lors de son processus ECD, vision référant à un corps de connaissances qui lui est spécifique. On cherche, d’une part, ...

In this paper, we present a novel approach to text mining that helps to build intelligent user interfaces for recommender and information retrieval systems. The main problem for the user in information retrieval is that he must have almost perfect knowledge of the domain and the domain terminology. Our approach eases this burden by showing a way how to encode domain knowledge so that an informa...

Résumé. En apprentissage automatique, la présence d’un grand nombre de variables explicatives conduit à une plus grande complexité des algorithmes et à une forte dégradation des performances des modèles de prédiction. Pour cela, une sélection d’un sous-ensemble optimal discriminant de ces variables s’avère nécessaire. Dans cet article, une approche topologique est proposée pour la sélection de ...

In this paper we describe our experience with a development environment for robot controllers, which provides the user with formal veriication func-tionalities. We study how to augment these functionalities by also allowing formal veriication of quantitative real-time properties. Our approach is based on the timed extension of a synchronous language, named Timed-Argos, and on a symbolic model-c...

RÉSUMÉ. Cet article présente une approche sociale pour la recherche d’information dans les microblogs intégrant diverses sources d’évidence au sein d’un réseau bayésien. Notre contribution consiste à étendre la notion classique de pertinence, basée sur la similarité textuelle, par de nouveaux facteurs tels que l’importance sociale des blogueurs et la magnitude temporelle des microblogs. Dans ce...

Résumé. Les modèles et outils OLAP actuels gèrent les dimensions d’analyse d’un entrepôt de données de manière statique. Par conséquent, les axes d’analyse restent souvent figés malgré l’évolution des besoins et des données. Dans cet article, nous proposons une approche d’évolution de schéma basée sur une technique de classification automatique. Pour cela, nous cherchons le meilleur regroupemen...

Résumé. Les étiqueteurs morphosyntaxiques sont de plus en plus performants et cependant, un véritable problème apparaît lorsque nous voulons étiqueter des corpus de spécialité pour lesquels nous n’avons pas de corpus annotés. La correction des ambiguïtés difficiles est une étape importante pour obtenir un corpus de spécialité parfaitement étiqueté. Pour corriger ces ambiguïtés et diminuer le no...

Résumé. De nos jours, les logiciels doivent être flexibles pour pouvoir accommoder d’éventuels changements. Les anomalies de conception introduites durant l’évolution du logiciel causent souvent des difficultés de maintenance. Cependant, la détection d’anomalies de conception n’est pas triviale. La détection manuelle est coûteuse en temps et en ressources, alors que la détection automatique gén...