Search - Archive ouverte HAL Access content directly

Filter your results

31 Results

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
Conference papers hal-03300638v1

Extracting MUCs from Constraint Networks

Fred Hemery , Christophe Lecoutre , Lahkdar Sais , Frederic Boussemart
Aug 2006, pp.113-117
Conference papers hal-00110096v1

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
Conference papers 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
Conference papers hal-03300253v1

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
Conference papers 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
Conference papers hal-00869930v1

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
Journal articles hal-00191088v1

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
Conference papers hal-03300256v1

Constraint Solving using Parallel Singleton Arc Consistency

Nebras Gharbi , Fred Hemery , Christophe Lecoutre , Olivier Roussel
1st Workshop on Cloud Computing and Optimization, 2014, Lyon, France
Conference papers hal-03300632v1
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
Conference papers hal-00869860v1

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
Conference papers 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
Conference papers hal-00460864v1

Optimization du montage de prets immobiliers : modelisation du probleme

Frederic Boussemart , Fred Hemery , Christophe Lecoutre , Olivier Roussel , Sebastien Tabary et al.
[Rapport de recherche] Centre de Recherche en Informatique de Lens. 2012
Reports hal-00872787v1

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
Conference papers hal-03300630v1

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
Conference papers hal-03300255v1

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
Conference papers hal-00261267v1
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
Conference papers inria-00085792v1

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
Journal articles hal-00868210v1

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
Conference papers hal-00396466v1

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
Conference papers hal-03300635v1

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
Conference papers hal-03300629v1
Image document

Sliced Table Constraints: Combining Compression and Tabular Reduction

Nebras Gharbi , Fred Hemery , Christophe Lecoutre , Olivier Roussel
CPAIOR, May 2014, Cork, Ireland. ⟨10.1007/978-3-319-07046-9_9⟩
Conference papers hal-01141409v1

A study of residual supports in arc consistency

Christophe Lecoutre , Fred Hemery
Sep 2006, Nantes, France. pp.31-45
Conference papers hal-00143822v1
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
Conference papers inria-00085771v1

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
Conference papers hal-00109558v1

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
Conference papers 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
Conference papers hal-03300637v1

The Mapping of Communicating Active Components on Multicomputer Machines

Jean-Marc Geib , Fred Hemery
PARCO 1993, 1993, Grenoble, France. pp.613-618
Conference papers hal-03300631v1
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
Conference papers inria-00000048v1

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
Conference papers hal-03300254v1