Centre de Recherche en Informatique de Lens

Date : Jeudi 12 Avril 2007 à 14 h 00 (IUT de Lens - Département Informatique - Salle SP) Titre : Extraction de concepts à l’aide de techniques d’apprentissage non supervisé Intervenant : Julien Velcin (LIP6 - Paris 6) Le "regroupement conceptuel" (conceptual clustering) est une branche de l’apprentissage non supervisé qui permet d’extraire des concepts à l’aide de techniques de classification automatique. Il s’avère particulièrement utile lorsque la quantité d’information devient très conséquente et (...)

Les séminaires de 2006

Date : Jeudi 30 Novembre 2006 à 14 h 00 (IUT de Lens - Département Informatique - Salle SP) Titre : Un modèle calculatoire pour l’argumentation déductive Intervenant : Philippe Besnard (IRIT - Toulouse) La première partie de cet exposé discute les aspects essentiels de l’argumentation, à savoir, les caractéristiques d’un argument, les informations utilisées, l’auditoire,... Est ensuite présentée une formalisation de la notion d’argument déductif. Dans le reste de l’exposé, cette formalisation, qui (...)

Les séminaires de 2005

Date : Jeudi 08 Décembre 2005 à 14 h 00 (IUT de Lens - Département Informatique - Salle SP) Titre : Extraction des bases génériques de règles d’association Intervenant : Ghada Gasmi L’extraction des connaissances à partir des données (ECD) désigne le processus de découverte des informations implicites précédemment inconnues et potentiellement utiles à partir des bases de données volumineuses. L’extraction de règles d’association est l’un des principaux problèmes de l’ECD. Elle a été formalisée à la (...)

Les séminaires de 2004

Date : Jeudi 02 Décembre 2004 à 14 h 00 (IUT de Lens - Amphi SRC) Titre : Une autre conversion de SAT vers CSP Intervenant : Olivier Roussel Dans cet exposé, nous présenterons la transformation d’une formule SAT en une autre formule SAT qui, à son tour, pourra être transformée directement en un problème CSP. Cette transformation introduit une nouvelle forme normale pour le problème SAT baptisée Pigeon Hole Normal Form (PHNF). Elle est également basée sur une méthode d’énumération de modèles locaux (...)

Les séminaires de 2003

Date : Jeudi 03 Avril 2003 à 15 h 00 (IUT de Lens - Salle SP) Titre : Métaheuristiques et Dualité en Optimisation Combinatoire : Théorie et Applications Intervenant : Saïd Hanafi - LAMIH, Université de Valenciennes Cet exposé est une synthèse de mes travaux de recherche menés depuis une dizaine d’années dans les thématiques suivantes : les métaheuristiques, l’optimisation combinatoire et plus particulièrement la dualité, et enfin la modélisation et la résolution de problèmes réels NP-Complets. La (...)

Les séminaires de 2002

Date : Jeudi 16 Mai 2002 à 14 h 00 (IUT de Lens - Département d’Informatique, salle 5E) Titre : Exponential Cyclic Evolution of an Automaton with Memory when All the Weighting Coefficients are Strictly Positive Intervenant : Gilbert Tindo Pas de résumé disponible pour ce séminaire Date : Jeudi 21 Février 2002 à 14 h 00 (IUT de Lens - Département d’Informatique, salle 5E) Titre : Travaux sur la satisfiabilité Intervenant : Gilles Dequen La procédure DPLL reste, à ce jour, l’approche de (...)

Les séminaires de 2001

Date : Jeudi 20 Décembre 2001 à 14 h 00 (IUT de Lens - Département d’Informatique, salle 5E) Titre : Une approche formelle de conception de systèmes temps-réel. Intervenant : François Siewe Les systèmes temps-réels sont des systèmes dont le comportement doit obéir à des contraintes temporelles très strictes. Ce sont généralement des systèmes embarqués pour effectuer des contrôles automatiques dans des domaines sensibles tels les centrales nucléaires, le pilotage automatique des avions, les passages à (...)

Partenaires

Menu

Les anciens séminaires