Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

77 résultats
Page :
triés par
Image document

Myrtle : A Set-Oriented Meta-Interpreter Driven by a «Relational» Trace for Deductive Databases Debugging

 Sarah Mallet , Mireille Ducassé
[Research Report] RR-3598, INRIA. 1999
Rapport inria-00073081v1

Using Biddings and Motivations in Multi-unit Assignments

 Mireille Ducassé , Peggy Cellier
Group Decision and Negotiation, Jun 2014, Toulouse, France. pp.8, ⟨10.1007/978-3-319-07179-4-6⟩
Communication dans un congrès hal-01104449v1

A Parameterized Algorithm to Explore Formal Contexts with a Taxonomy

 Peggy Cellier , Mireille Ducassé , Sébastien Ferré , Olivier Ridoux
International Journal of Foundations of Computer Science, 2008, 19 (2), pp.319--343
Article dans une revue inria-00363594v1
Image document

Guided Semantic Annotation of Comic Panels with Sewelis

 Alice Hermann , Sébastien Ferré , Mireille Ducassé
2012
Autre publication scientifique hal-00757095v1
Image document

Une sémantique observationnelle du modèle des boîtes pour la résolution de programmes logiques

 Pierre Deransart , Mireille Ducassé , Gérard Ferrand
Troisièmes Journées Francophones de Programmationpar Contraintes (JFPC07), INRIA Rocquencourt, Jun 2007, Rocquencourt / France, France
Communication dans un congrès inria-00151138v1
Image document

Fair(er) and (almost) serene committee meetings with Logical and Formal Concept Analysis

 Mireille Ducassé , Sébastien Ferré
Int. Conf. Conceptual Structures, 2008, Toulouse, France
Communication dans un congrès inria-00363589v1

Generating Data Converters to Help Compose Services in Bioinformatics Workflows

 Mouhamadou Ba , Sébastien Ferré , Mireille Ducassé
Int. Conf. Database and Expert Systems Applications (DEXA), 2014, Munich, Germany. pp.15
Communication dans un congrès hal-01122399v1
Image document

Convertibilité entre types d'entrée et de sortie pour la composition de services en bio-informatique

 Mouhamadou Ba , Sébastien Ferré , Mireille Ducassé
Reconnaissance de Formes et Intelligence Artificielle (RFIA) 2014, Jun 2014, France
Communication dans un congrès hal-00989229v1
Image document

Safe Suggestions Based on Type Convertibility to Guide Workflow Composition

 Mouhamadou Ba , Sébastien Ferré , Mireille Ducassé
Foundations of Intelligent Systems (ISMIS), Oct 2015, Lyon, France. ⟨10.1007/978-3-319-25252-0_25⟩
Communication dans un congrès hal-01252775v1
Image document

An Interactive Guidance Process Supporting Consistent Updates of RDFS Graphs

 Alice Hermann , Sébastien Ferré , Mireille Ducassé
EKAW - 18th International Conference on Knowledge Engineering and Knowledge Management - 2012, 2012, Galway City, Ireland. pp.185-199
Communication dans un congrès hal-00757083v1
Image document

An Abstract Interpretation-based Combinator for Modelling While Loops in Constraint Programming

 Tristan Denmat , Arnaud Gotlieb , Mireille Ducassé
the 13th International Conference on Principles and Practice of Constraint Programming (CP'07), Sep 2007, France. pp.00-00
Communication dans un congrès hal-00180548v1

Multiple Fault Localization with Data Mining

 Peggy Cellier , Mireille Ducassé , Sébastien Ferré , Olivier Ridoux
International Conference on Software Engineering & Knowledge Engineering (SEKE), Jul 2011, Miami, United States
Communication dans un congrès hal-01119562v1
Image document

Data Mining and Cross-checking of Execution Traces : A re-intepretation of Jones, Harrold and Stasko test information visualization (Long version)

 Tristan Denmat , Mireille Ducassé , Olivier Ridoux
[Research Report] RR-5661, INRIA. 2005, pp.21
Rapport inria-00070347v1
Image document

An Automated Debugger for Mercury - Opium-M 0.1 User and Reference Manuals

 Mireille Ducassé , Erwan Jahier
[Research Report] RT-0231, INRIA. 1999, pp.104
Rapport inria-00069941v1
Image document

Formal Concept analysis enhances Fault Localization in Software

 Peggy Cellier , Mireille Ducassé , Sébastien Ferré , Olivier Ridoux
Int. Conf. Formal Concept Analysis, 2008, Montreal, Canada. pp.273--288
Communication dans un congrès inria-00363593v1

Exploration de traces à l'aide de fouille de données

 Peggy Cellier , Mireille Ducassé , Sébastien Ferré
2011
Autre publication scientifique hal-01119552v1
Image document

Partial orders and logical concept analysis to explore patterns extracted by data mining

 Peggy Cellier , Sébastien Ferré , Mireille Ducassé , Thierry Charnois
International Conference on Conceptual Structures, 2011, Derby, United Kingdom. pp.77-90, ⟨10.1007/978-3-642-22688-5_6⟩
Communication dans un congrès hal-00779194v1

A logic-based model to support alert correlation in intrusion detection

 Benjamin Morin , Ludovic Mé , Hervé Debar , Mireille Ducassé
Information Fusion, 2009, 10 (4), pp.285-299. ⟨10.1016/j.inffus.2009.01.005⟩
Article dans une revue istex hal-00353059v1
Image document

Kartu-Verbs: A Semantic Web Base of Inflected Georgian Verb Forms to Bypass Georgian Verb Lemmatization Issues

 Mireille Ducassé
XIX EURALEX conference, Nov 2021, Alexandroupolis, Greece
Communication dans un congrès hal-02924019v1

Visualization of Internet Flow Records

 Alexandre Vautier , Marie-Odile Cordier , Mireille Ducassé , René Quiniou
2006
Autre publication scientifique inria-00463801v1
Image document

Abstract Views of Prolog Executions in Opium

 Mireille Ducassé
[Research Report] RR-3531, INRIA. 1998
Rapport inria-00073154v1
Image document

Data Mining and Cross-checking of Execution Traces: A re-interpretation of Jones, Harrold and Stasko test information visualization (Long version)

 Tristan Denmat , Mireille Ducassé , Olivier Ridoux
[Research Report] PI 1743, 2005, pp.21
Rapport inria-00000566v1

Using Bids, Arguments and Preferences in Sensitive Multi-unit Assignments: A p-Equitable Process and a Course Allocation Case Study

 Mireille Ducassé , Peggy Cellier
Group Decision and Negotiation, 2016, 25 (6), ⟨10.1007/s10726-016-9483-9⟩
Article dans une revue hal-01485046v1

Agrégation d'alarmes faiblement structurées

 Alexandre Vautier , Marie-Odile Cordier , Mireille Ducassé , René Quiniou
Atelier Fouille de Données Temporelles, EGC 06, 2006, Lille, France
Communication dans un congrès inria-00463804v1
Image document

Solving Data Mismatches in Bioinformatics Workflows by Generating Data Converters

 Mouhamadou Ba , Sébastien Ferré , Mireille Ducassé
Transactions on Large-Scale Data- and Knowledge-Centered Systems, 2016, LNCS, 9510, pp.88-115
Article dans une revue hal-01485059v1

A Review of Automated Debugging Systems: Knowledge, Strategies, and Techniques

 Mireille Ducassé , Anna-Maria Emde
International Conference on Automated Software Engineering, 1988, Singapour, Singapore
Communication dans un congrès hal-00756848v1

Helping Facilitators Build on Experience When Preparing Meetings With Logical Information Systems

 Mireille Ducassé
Groupe Decision and Negotiation, 2013, Stockholm, Sweden
Communication dans un congrès hal-00943544v1
Image document

Création et mise à jour guidées d'objets dans une base RDF(S)

 Alice Hermann , Sébastien Ferré , Mireille Ducassé
Rencontres des Jeunes Chercheurs en Intelligence Artificielle, May 2011, Chambéry, France
Communication dans un congrès hal-00654093v1

A Propagation Tracer for Gnu-Prolog: from Formal Definition to Efficient Implementation

 Ludovic Langevine , Mireille Ducassé
International Conference on Logic Programming, 2003, Mumbay, India
Communication dans un congrès hal-00756836v1

ComVisMD—Compact 2D Visualization of Multidimensional Data: Experimenting with Two Different Datasets

 Shridhar B. Dandin , Mireille Ducassé
H. Sharma et al. Intelligent Learning for Computer Vision, 61, Springer Nature Singapore Pte Ltd, 2021, Lecture Notes on Data Engineering and Communications Technologies
Chapitre d'ouvrage hal-03131685v1
Page :