RECHERCHE

ENSEIGNEMENTS

RESPONSABILITÉS
 
 
 
 

RECHERCHE

Mots Clés :

Représentation des connaissances, logique du premier ordre, logique propositionnelle, SAT, procédure de Davis et Putnam, recherche locale, MAXSAT, vision omnidirectionnelle.

Projets de Recherche :

Publications :

Revues

L. Brisoux, L. Saïs et É. Grégoire.  << Checking Depth-Limited Consistency and Inconsistency in Knowledge-based Systems >>. International Journal of Intelligent Systems, 16(3):319-332, mars 2001. Version longue de l'article publié à DEXA.

T. Bench-Capon, D. Castelli, F. Coenen, L Devendeville-Brisoux, B. Eaglestone, N. Fiddian, A. Gray, A. Ligeza et A. Vermesan.  << Validation, Verification and Integrity Issues in Expert and database Systems >>. Expert Update, 2:31-35. 1999.
 

Conférences internationales

L. Devendeville, S. Dumont, O. Goubet et S. Lefebvre. << Algorithms for Constrained Best-Fit Alignment >>. Dans Actes de The Third International Workshop on Bin Packing and Placement Constraints - BPPC'10 , Bologna, Italia, 15 Juin, 2010.
 

A. Ghorayeb, A. Potelle, L. Devendeville et E. Mouaddib. << Optimal omnidirectional sensor for urban traffic diagnosis in crossroads >>. Dans Actes de The IEEE International Vehicles Symposium - IV'10 , USA, California, San Diego, 21-24 Juin, 2010.
 

E. Mouaddib, G. Dequen et L. Devendeville. << A new Omnidirectional Stereovision Sensor >>. Dans Actes de The Seventh Workshop on Omnidirectional Vision, Camera Networks and Non-classical Cameras - OMNIVIS 2007, Rio de Janeiro, Brazil,  20 octobre 2007.
 

S. Darras, G. Dequen, L. Devendeville et C.-M. Li. << On Inconsistent Clause-Subsets for Max-SAT Solving >>. Dans Actes de Principles and Practice of Constraint Programming - CP 2007, 13th International Conference, pages 225-240, Providence, RI, USA,  23-27 septembre 2007.
 

G. Dequen, L. Devendeville et E. Mouaddib. << Stochastic Local Search for Omnidirectional Catadioptric Stereovision Design >>. Dans Actes de 3rd Iberian Conference on Pattern Recognition and Image Analysis - IbPRIA 2007, pages 404-411, Girone, Espagne,  6-8 juin 2007.
 

S. Darras, G. Dequen, L. Devendeville, B. Mazure, R. Ostrowski et L. Saïs. << Using Boolean Constraint Propagation for Sub-clause Deduction >>. Dans Actes de Principles and Practice of Constraint Programming - CP 2005, 11th International Conference, pages 757-761, Sitges, Espagne,  1-5 octobre 2005.
 

D. Habet, C. M. Li, L. Devendeville et  M. Vasquez. << A Hybrid Approach for SAT >>. Dans Actes de Principles and Practice of Constraint Programming - CP 2002, 8th International Conference, pages 172-184, Ithaca, NY, USA,  9-13 septembre 2002.
 

L. Brisoux Devendeville, C. Essert Villard et P. Schreck. << Exploration of a solution space structured by finite constraints >>. Dans Actes du Workshop Modelling and Solving Problems with Constraints of the 14th European Conference on Artificial Intelligence, ECAI'2000, pages F:1-F:18, Berlin, Germany, 20-25 août 2000.
 

L. Brisoux, L. Saïs et É. Grégoire . << Improving Backtrack Search for SAT by Means of  Redundancy >>. Dans Z. W. Ras et A. Skowro, éditeurs, Proceedings of the Foundations of Intelligent Systems, Eleventh International Symposium on Methodologies for Intelligent Systems, ISMIS'99, pages 301-309, Warsaw, Poland, 8-11 juin 1999. LNCS, Springer.
 

L. Brisoux, L. Saïs et É. Grégoire . << Validation of Knowledge-Based Sytems by Means of  Stochastic  Search >>. Dans R. Wagner, éditeur, Proceedings on the First International Workshop on Verification, Validation and Integrity Issue in Expert and Database Systems, DEXA'98,  pages 41-46, Vienna, Austria, 24-28 août 1998. IEEE Press.

Conférences nationales
 

A. Ghorayeb, A. Potelle, L. Devendeville et E. M. Mouaddib. << Une caméra catadioptrique pour l'estimation du trafic routier >>. Dans Actes du congrès sur l'Innovation Technologique et Systèmes de Transport - ITT'09, Paris,  26-29 octobre 2009.
 

A. Ghorayeb, A. Potelle, L. Devendeville et E. M. Mouaddib. << Capteur omnidirectionnel Optimal pour le diagnostic de la circulation dans les carrefours urbains >>. Dans Actes du congrès ORASIS'09, Trégastel,  8-12 juin 2009.
 

S. Darras, G. Dequen, L. Devendeville et C.-M. Li. << Exploitation des noyaux inconsistants pour la résolution du problème Max-SAT >>. Dans Actes du 16ème congrès francophone AFRIF-AFIA Reconnaissance des Formes et Intelligence ARtificielle -RFIA 2008, pages 378-387, Amiens,  23-25 janvier 2008.
 

S. Darras, G. Dequen, L. Devendeville, B. Mazure, R. Ostrowski et L. Saïs. << Utilisation de la Propagation de Contraintes Booléennes pour la Production de Sous-Clauses >>. Dans Actes des Premières Journées Francophones de Programmation par Contraintes JFPC'2005,  pages 69-78, Lens, France, 8-10 juin 2005.
 

D. Habet, C. M. Li, L. Devendeville, M. Vasquez et J.-L. Guérin. << Une approche hybride pour SAT >>. Dans Actes des 8èmes Journées Nationales sur la Résolution Pratique de Problèmes NP-Complets JNPC'2002,  pages 115-126, Nice, France, 27-29 mai 2002.
 

L. Brisoux Devendeville, L. Saïs et É. Grégoire. << Recherche Locale : Vers une exploitation des propriétés structurelles >>. Dans Actes des 6èmes Journées Nationales sur la Résolution Pratique de Problèmes NP-Complets JNPC'2000, session Jeunes Chercheurs,  pages 284-285, Marseille, France, 28-30 juin 2000. Version longue.
 

A. Rauzy, L. Saïs et L. Brisoux. << Calcul propositionnel : Vers une extension du formalisme >>. Dans Actes des 5èmes Journées Nationales sur la Résolution Pratique de Problèmes NP-Complets JNPC'99,  pages 189-198, Lyon, France, 2-4 juin 1999.
 

L. Brisoux, É. Grégoire et L. Saïs. << Mieux exploiter les échecs au sein des arbres de recherche à la Davis et Putnam >>. Dans Actes des 4èmes Journées Nationales sur la Résolution Pratique de Problèmes NP-Complets JNPC'98 ,  pages 31-39, Nantes, France, 27-29 mai 1998.
 

L. Brisoux .  << Coopération consistante de bases de connaissance au premier ordre fini >>. Dans Actes des Journées jeunes chercheurs Ganymède, pages 24-28, Lille, France, 28 mai 1998.

Autres
 

L. Brisoux Devendeville . << Satisfaisabilité propositionnelle en informatique Aspects algorithmiques et extensions du formalisme >>. Thèse de doctorat, Université d'Artois, CRIL, Lens, décembre 1999. Version compressée. Version gzippée.
 

L. Brisoux . << De la Logique des Propositions au Premier ordre fini >>. Mémoire de DEA, CRIL-Université d'Artois, juillet 1996.
 
 
 

ENSEIGNEMENTS
Licence III : BD2, BD3 & Outils de Developpement
UE Libre Licence : Latex
Master II ISRI : Cryptographie
Master II MIS - IA&ROAD : Satisfiabilit&ecute;
 
 

RESPONSABILITÉS

Ancienne responsable de la licence informatique pre-LMD

Ancienne responsable du Master I Informatique

Ancienne responsable du Master spécialité CPIC (Recherche) Informatique

Membre du bureau du d&ecute;partement informatique

Membre élue du conseil de gestion de UFR

Mise à jour le