Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

30 résultats
Page :
triés par

Extracting MUCs from Constraint Networks

 Fred Hemery , Christophe Lecoutre , Lahkdar Sais , Frederic Boussemart
Aug 2006, pp.113-117
Communication dans un congrès hal-00110096v1

Des cas d'utilisation en UML à la gestion de rôles dans un système d'information

 Gilles Goncalves , Fred Hemery
Congrès INFORSID (INFORSID 2000), 2000, Lyon, France. pp.367-379
Communication dans un congrès hal-03300638v1

Techniques de retour-arrière intelligent versus heuristiques dirigées par les conflits

 Christophe Lecoutre , Frédéric Boussemart , Fred Hemery
10èmes Journées Nationales sur la résolution pratique des Problèmes NP-Complets (JNPC'04), 2004, Angers, France. pp.235-250
Communication dans un congrès hal-03300252v1
Image document

STR et compression de contraintes tables

 Nebras Gharbi , Fred Hemery , Christophe Lecoutre , Olivier Roussel
9ièmes Journées Francophones de Programmation par Contraintes (JFPC'13), 2013, Aix-en-Provence, France. pp.143-146
Communication dans un congrès hal-00869930v1

Problèmes de satisfaction de contraintes aléatoires en intention

 Christophe Lecoutre , Frédéric Boussemart , Fred Hemery
9èmes Journées Nationales sur la résolution pratique des problèmes NP-complets (JNPC'03), 2003, Amiens, Région indéterminée. pp.249-262
Communication dans un congrès hal-03300256v1

Random constraint satisfaction: easy generation of hard (satisfiable) instances

 K. Xu , Frederic Boussemart , Fred Hemery , Christophe Lecoutre
Artificial Intelligence, 2007, 171 (8-9), pp.514-534
Article dans une revue hal-00191088v1
Image document

Contrôle statistique du processus de propagation de contraintes

 Frederic Boussemart , Fred Hemery , Christophe Lecoutre , Mouny Samy-Modeliar
7ièmes Journées Francophones de Programmation par Contraintes (JFPC'11), 2011, Lyon, France. pp.65-74
Communication dans un congrès hal-00869860v1

Ingénierie des rôles : de la conception à l'évolution des schémas de sécurité

 Gilles Goncalves , Fred Hemery , Aneta Poniszewska
Atelier Sécurité des Systèmes d'Information, XXII Congrès INFORSID ( INFORSID 2004), 2004, Biarritz, France
Communication dans un congrès hal-03300636v1

Heuristiques de choix de variables dirigées par les conflits

 Frédéric Boussemart , Fred Hemery , Christophe Lecoutre , Lakhdar Saïs
10èmes Journées Nationales sur la résolution pratique des Problèmes NP-Complets (JNPC'04), 2004, Angers, France. pp.91-105
Communication dans un congrès hal-03300253v1

Approach to Service Uses in Federated Systems Information

 Jean-Michel Hannoff , Jean-Christophe Nicolas , Fred Hemery
Database and Expert Systems Applications, Federated and Distributed Databases (DEXA Workshop 1997), 1997, Toulouse, France
Communication dans un congrès hal-03300630v1

Overprescription of antibiotics in the elderly in the emergency department : example of amoxicilline-clavulanic acid

 S. Ouar-Epelboin , Loïc Epelboin , A. Hutin , F. Hemery , R. Bertrand , et al.
7th Mediterranean Emergency Medicine Congress (MEMC VII), 2013, Marseille, France
Communication dans un congrès hal-02447121v1

Abscon 2005

 Christophe Lecoutre , Frederic Boussemart , Fred Hemery
2nd International Workshop on Constraint Propagation And Implementation(CPAI'05), Oct 2005, Sitges, Spain. pp.67-72
Communication dans un congrès hal-00460864v1

De AC3 à AC7

 Christophe Lecoutre , Frédéric Boussemart , Fred Hemery
12èmes Journées Francophones de Programmation Logique avec Contraintes (JFPLC'03), 2003, Amiens, Région indéterminée. pp.267-280
Communication dans un congrès hal-03300255v1

Optimisation du montage de prêts immobiliers : modélisation du problème

 Frederic Boussemart , Fred Hemery , Christophe Lecoutre , Olivier Roussel , Sébastien Tabary
[Rapport de recherche] Centre de Recherche en Informatique de Lens. 2012
Rapport hal-00872787v1

A Study of Residual Supports in Arc Consistency

 Christophe Lecoutre , Fred Hemery
20th International Joint Conference on Artificial Intelligence(IJCAI'07), Jan 2007, Hyderabad, India. pp.125-130
Communication dans un congrès hal-00261267v1

A simple model to generate hard satisfiable instances

 K. Xu , Frederic Boussemart , Fred Hemery , Christophe Lecoutre
19th International Joint Conference on Artificial Intelligence(IJCAI'05), Aug 2005, Edinburgh, United Kingdom. pp.337-342
Communication dans un congrès hal-00396466v1

Representation of Extended RBAC Model Using UML Language

 Gilles Goncalves , Fred Hemery , Aneta Poniszewska
31th Annual Conference on Current Trends in Theory and Practice of Informatics (SOFSEM 2005), 2005, Liptovsky Jan, Slovak Republic, Unknown Region. pp.405-409
Communication dans un congrès hal-03300629v1

Les contraintes table fragmentées : combiner la compression et la réduction tabulaire

 Nebras Gharbi , Fred Hemery , Christophe Lecoutre , Olivier Roussel
10èmes Journées Francophones de Programmation par Contraintes (JFPC'14), 2014, Angers, France. pp.133-142
Communication dans un congrès hal-03300635v1

Efficient Constraint Propagation for Graph Coloring

 Frederic Boussemart , Fred Hemery , Christophe Lecoutre , Mouny Samy-Modeliar
Electronic Notes in Discrete Mathematics, 2011, 37, pp.243-248
Article dans une revue hal-00868210v1
Image document

Sliced Table Constraints: Combining Compression and Tabular Reduction

 Nebras Gharbi , Fred Hemery , Christophe Lecoutre , Olivier Roussel
Integration of AI and OR Techniques in Constraint Programming (CPAIOR 2014), May 2014, Cork, Ireland. pp.120-135, ⟨10.1007/978-3-319-07046-9_9⟩
Communication dans un congrès hal-01141409v1
Image document

Extraction de noyaux insatisfiables minimaux de réseaux de contraintes

 Fred Hemery , Christophe Lecoutre , Lakhdar Sais , Frédéric Boussemart
Deuxièmes Journées Francophones de Programmation par Contraintes (JFPC06), 2006, Nîmes - Ecole des Mines d'Alès / France
Communication dans un congrès inria-00085792v1

Revision ordering heuristics for the Constraint Satisfaction Problem

 Frédéric Boussemart , Fred Hemery , Christophe Lecoutre
1st International Workshop on Constraint Propagation and Implementation, 2004, Toronto, Canada. pp.9-43
Communication dans un congrès hal-03300249v1

A study of residual supports in arc consistency

 Christophe Lecoutre , Fred Hemery
Sep 2006, Nantes, France. pp.31-45
Communication dans un congrès hal-00143822v1

Description and Representation of the Problems selected for the first International Constraint Satisfaction Solver Competition

 Frederic Boussemart , Fred Hemery , Christophe Lecoutre
2005, pp.7-26
Communication dans un congrès hal-00109558v1
Image document

Une étude des supports résiduels pour la consistance d'arc

 Christophe Lecoutre , Fred Hemery
Journées Francophones de Programmation par Contraintes, 2006, Nîmes - Ecole des Mines d'Alès
Communication dans un congrès inria-00085771v1

Au coeur de la consistance d'arc

 Christophe Lecoutre , Frédéric Boussemart , Fred Hemery
9èmes Journées Nationales sur la résolution pratique des problèmes NP-complets (JNPC'03), 2003, Amiens, France. pp.233-247
Communication dans un congrès hal-03300254v1
Image document

Inférence de supports pour les algorithmes de filtrage générique

 Frederic Boussemart , Fred Hemery , Christophe Lecoutre , Lakhdar Sais
Premières Journées Francophones de Programmation par Contraintes, CRIL - CNRS FRE 2499, Jun 2005, Lens, pp.89-98
Communication dans un congrès inria-00000048v1

Verification of Access Control Coherence in Information System during Modifications

 Gilles Goncalves , Fred Hemery , Aneta Poniszewska
12th IEEE International Workshops on Enabling Technologies Infrastructure for Collaborative Enterprises (WETICE'2003), 2003, Linz, Austria. pp.9-11
Communication dans un congrès hal-03300634v1

Une plate-forme UML-XML pour la gestion des rôles s'un système d'information

 Gilles Goncalves , Fred Hemery
Congrès INFORSID (INFORSID 2001), 2001, Martigny, Suisse. pp.111-122
Communication dans un congrès hal-03300637v1

The Mapping of Communicating Active Components on Multicomputer Machines

 Jean-Marc Geib , Fred Hemery
PARCO 1993, 1993, Grenoble, France. pp.613-618
Communication dans un congrès hal-03300631v1
Page :