|
|
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
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
Safe Suggestions Based on Type Convertibility to Guide Workflow Composition
Mouhamadou Ba
,
Sébastien Ferré
,
Mireille Ducassé
Communication dans un congrès
hal-01252775v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
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
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
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
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
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
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
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
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
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
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
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
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
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
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
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
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
Guided Semantic Annotation of Comic Panels with Sewelis
Alice Hermann
,
Sébastien Ferré
,
Mireille Ducassé
2012
Autre publication scientifique
hal-00757095v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
Using Biddings and Motivations in Multi-unit Assignments
Mireille Ducassé
,
Peggy Cellier
Communication dans un congrès
hal-01104449v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
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
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
A Tracer Driver to Enable Concurrent Dynamic Analyses
Ludovic Langevine
,
Mireille Ducassé
[Research Report] RR-5611, INRIA. 2005
Rapport
inria-00071235v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
Convertibility between input and output types to help compose services in bioinformatics
Mouhamadou Ba
,
Sébastien Ferré
,
Mireille Ducassé
Colloque africain sur la recherche en informatique et mathématiques appliquées (CARI),, 2014, Saint-Louis, Senegal
Communication dans un congrès
hal-01122403v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
Opium: An extendable trace analyser for Prolog.
Mireille Ducassé
Journal of Logic Programming, 1999
Article dans une revue
hal-00756828v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
A generic approach to monitor program executions
Erwan Jahier
,
Mireille Ducassé
International Conference on Logic Programming, 1999, Las Cruces, United States
Communication dans un congrès
hal-00756844v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
Tracing Execution of CLP(FD) Programs : A Trace Model and an Experimental Validation Environment
Ludovic Langevine
,
Pierre Deransart
,
Mireille Ducassé
,
Erwan Jahier
[Research Report] RR-4342, INRIA. 2001
Rapport
inria-00072246v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
Détection d'intrusions : corrélation d'alertes
Hervé Debar
,
Benjamin Morin
,
Frédéric Cuppens
,
Fabien Autrel
,
Ludovic Mé
,
et al.
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2004, 23, 32 p
Article dans une revue
hal-00356418v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
Nested Forms with Dynamic Suggestions for Quality RDF Authoring
Pierre Maillot
,
Sébastien Ferré
,
Peggy Cellier
,
Mireille Ducassé
,
Franck Partouche
International Conference on Database and Expert Systems Applications (DEXA), Aug 2017, Lyon, France
Communication dans un congrès
hal-01731124v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
Data Mining for Fault Localization: towards a Global Debugging Process
Peggy Cellier
,
Mireille Ducassé
,
Sébastien Ferré
,
Olivier Ridoux
[Research Report] INSA RENNES; Univ Rennes, CNRS, IRISA, France. 2018
Rapport
hal-02003069v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
Fair and Fast Convergence on Islands of Agreement in Multicriteria Group Decision Making by Logical Navigation
Mireille Ducassé
,
Peggy Cellier
Article dans une revue
hal-01104444v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
Kartu-Verbs : un système d'informations logiques de formes verbales fléchies pour contourner les problèmes de lemmatisation des verbes géorgiens
Mireille Ducassé
EGC 2022 - Conférence francophone sur l'Extraction et la Gestion des Connaissances, Jan 2022, Blois, France. pp.421-428
Communication dans un congrès
hal-03542560v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
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
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
Visualization of Internet Flow Records
Alexandre Vautier
,
Marie-Odile Cordier
,
Mireille Ducassé
,
René Quiniou
2006
Autre publication scientifique
inria-00463801v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
Abstract Views of Prolog Executions in Opium
Mireille Ducassé
[Research Report] RR-3531, INRIA. 1998
Rapport
inria-00073154v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
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
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
Using Bids, Arguments and Preferences in Sensitive Multi-unit Assignments: A p-Equitable Process and a Course Allocation Case Study
Mireille Ducassé
,
Peggy Cellier
Article dans une revue
hal-01485046v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
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
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
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
|
Partager
Gmail
Facebook
X
LinkedIn
More
|