Communication dans un congrès

ref_biblio

Aurélie Beynier, Jean-Guy Mailly, Nicolas Maudet, Anaelle Wilczynski. Explaining the Lack of Locally Envy-Free Allocations. 27th European Conference on Artificial Intelligence (ECAI 2024), European Association for Artificial Intelligence (EurAI); Spanish AI Society (AEPIA), Oct 2024, Santiago de Compostela, Spain. ⟨hal-04670468⟩

typdoc

Communication dans un congrès

Accès au bibtex

ref_biblio

Dao Thauvin, Stéphane Herbin, Wassila Ouerdane, Céline Hudelot. Interpretable image classification through an argumentative dialog between encoders. 27TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, Oct 2024, Saint-Jacques de Compostelle, Spain. ⟨hal-04673794⟩

typdoc

Communication dans un congrès

Accès au texte intégral et bibtex

ref_biblio

Virgile Robles, Nikolai Kosmatov, Virgile Prévosto, Pascale Le Gall. High-Level Program Properties in Frama-C: Definition, Verification and Deduction. International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISOLA), Oct 2024, Crete Island, Greece. ⟨hal-04663406⟩

typdoc

Communication dans un congrès

Accès au bibtex

ref_biblio

Paolo Ballarini, András Horváth, Pascale Le Gall, Pierre Cry. A framework for optimisation based stochastic process discovery. Proceedings of the, Sep 2024, Calgary (Alberta), Canada. ⟨hal-04720353⟩

typdoc

Communication dans un congrès

Accès au bibtex

ref_biblio

Arthur Ledaguenel, Mostepha Khouadjia, Céline Hudelot. Améliorer la classification multi-labels par réseaux de neurones avec de la connaissance logique a priori. Workshop HyCHA (Hybridation Connaissances, Humain et Apprentissage Statistique), Mar 2024, Gif-sur-Yvette, France. ⟨hal-04525056⟩

typdoc

Communication dans un congrès

Accès au bibtex

ref_biblio

Hénoïk Willot, Sébastien Destercke, Khaled Belahcene. Explications axiomatisées pour décisions équitables. ROADEF - 25ème congrès annuel de la Société française de recherche opérationnelle et d'aide à la décision, Société française de recherche opérationnelle et d'aide à la décision, Mar 2024, Amiens, France. ⟨hal-04590407⟩

typdoc

Communication dans un congrès

Accès au texte intégral et bibtex

ref_biblio

Maxime Darrin, Guillaume Staerman, Eduardo Dadalto Camara Gomes, Jackie Cheung, Pablo Piantanida, et al.. Unsupervised Layer-Wise Score Aggregation for Textual OOD Detection. AAAI 2024 - 38th Conference on Artificial Intelligence, Feb 2024, Vancouver, Canada. pp.17880-17888, ⟨10.1609/aaai.v38i16.29742⟩. ⟨hal-04575132⟩

typdoc

Communication dans un congrès

Accès au bibtex

Communication dans un congrès

ref_biblio

Pierre Colombo, Marine Picot, Nathan Noiry, Guillaume Staerman, Pablo Piantanida. Toward Stronger Textual Attack Detectors. 2023 Conference on Empirical Methods in Natural Language Processing (EMNLP 2023), Dec 2023, Singapour, Singapore. pp.484-505, ⟨10.18653/v1/2023.findings-emnlp.35⟩. ⟨hal-04574946⟩

typdoc

Communication dans un congrès

Accès au texte intégral et bibtex

ref_biblio

Duarte Alves, Nuno Guerreiro, João Alves, José Pombal, Ricardo Rei, et al.. Steering Large Language Models for Machine Translation with Finetuning and In-Context Learning. Findings of the Association for Computational Linguistics: EMNLP 2023, Dec 2023, Singapore, France. pp.11127-11148, ⟨10.18653/v1/2023.findings-emnlp.744⟩. ⟨hal-04575354⟩

typdoc

Communication dans un congrès

Accès au bibtex

ref_biblio

Manuel Faysse, Gautier Viaud, Céline Hudelot, Pierre Colombo. Revisiting Instruction Fine-tuned Model Evaluation to Guide Industrial Applications. Proceedings of the 2023 Conference on Empirical Methods in Natural Language Processing, Dec 2023, Singapore, France. pp.9033-9048, ⟨10.18653/v1/2023.emnlp-main.559⟩. ⟨hal-04574148⟩

typdoc

Communication dans un congrès

Accès au bibtex

ref_biblio

Pierre Colombo, Nathan Noiry, Guillaume Staerman, Pablo Piantanida. A Novel Information-Theoretic Objective to Disentangle Representations for Fair Classification. IJCNLP-AACL 2023 : The 13th International Joint Conference on Natural Language Processing and the 3rd Conference of the Asia-Pacific Chapter of the Association for Computational Linguistics, Nov 2023, Nusa Dua, Bali, Indonesia. pp.184-198, ⟨10.18653/v1/2023.findings-ijcnlp.17⟩. ⟨hal-04574970⟩

typdoc

Communication dans un congrès

Accès au texte intégral et bibtex

ref_biblio

Pierre Colombo, Maxime Peyrard, Nathan Noiry, Robert West, Pablo Piantanida. The Glass Ceiling of Automatic Evaluation in Natural Language Generation. IJCNLP-AACL 2023 : The 13th International Joint Conference on Natural Language Processing and the 3rd Conference of the Asia-Pacific Chapter of the Association for Computational Linguistics, Nov 2023, Nusa Dua, Bali, Indonesia. pp.178-183, ⟨10.18653/v1/2023.findings-ijcnlp.16⟩. ⟨hal-04575126⟩

typdoc

Communication dans un congrès

Accès au texte intégral et bibtex

ref_biblio

Baptistin Coutance, Prasanna Maddila, Anaëlle Wilczynski. Rank-Envy-Freeness in Roommate Matchings. 26th European Conference on Artificial Intelligence (ECAI 2023), Sep 2023, Krakow (Cracovie), Poland. ⟨10.3233/FAIA230308⟩. ⟨hal-04239712⟩

typdoc

Communication dans un congrès

Accès au texte intégral et bibtex

ref_biblio

Stéphane Airiau, Hugo Gilbert, Umberto Grandi, Jérôme Lang, Anaëlle Wilczynski. Fair Rent Division on a Budget Revisited. 26th European Conference on Artificial Intelligence (ECAI 2023), European Association for Artificial Intelligence (EurAI); Polish Artificial Intelligence Society (PSSI), Sep 2023, Kraków, Poland. ⟨10.3233/faia230253⟩. ⟨hal-04261690⟩

typdoc

Communication dans un congrès

Accès au texte intégral et bibtex

ref_biblio

Élise Lincker, Camille Guinaudeau, Olivier Pons, Jérôme Dupire, Céline Hudelot, et al.. Noisy and Unbalanced Multimodal Document Classification: Textbook Exercises as a Use Case. 20th International Conference on Content-based Multimedia Indexing (CBMI 2023), Sep 2023, Orléans, France. ⟨10.1145/3617233.3617239⟩. ⟨hal-04221023⟩

typdoc

Communication dans un congrès

Accès au texte intégral et bibtex

ref_biblio

Paolo Ballarini, Mahmoud Bentriou, Paul-Henry P.-H. Cournède. A Formal Approach for Tuning Stochastic Oscillators. Computational Methods in Systems Biology, Sep 2023, Luxembourg, Luxembourg. pp.1-17, ⟨10.1007/978-3-031-42697-1_1⟩. ⟨hal-04570564⟩

typdoc

Communication dans un congrès

Accès au texte intégral et bibtex

ref_biblio

Léa Pacini, Jérôme Dupire, Isabelle Barbet, Olivier Pons, Camille Guinaudeau, et al.. Textbook's accessibility for children with dyspraxia and visual disability. 17th International Conference of the Association for the Advancement of Assistive Technology in Europe, AAATE 2023, Association for the Advancement of Assistive Technology in Europe, Aug 2023, Paris, France. ⟨hal-04410340⟩

typdoc

Communication dans un congrès

Accès au texte intégral et bibtex

ref_biblio

Anaëlle Wilczynski. Ordinal Hedonic Seat Arrangement under Restricted Preference Domains: Swap Stability and Popularity. Thirty-Second International Joint Conference on Artificial Intelligence {IJCAI-23}, Aug 2023, Macau, China. pp.2906-2914, ⟨10.24963/ijcai.2023/324⟩. ⟨hal-04182108⟩

typdoc

Communication dans un congrès

Accès au bibtex

ref_biblio

Hénoïk Willot, Sébastien Destercke, Khaled Belahcene. Prime Implicants as a Versatile Tool to Explain Robust Classification. 13th International Symposium on Imprecise Probabilities: Theories and Applications (ISIPTA 2023), Enrique Miranda; Ignacio Montes; Erik Quaeghebeur; Barbara Vantaggi, Jul 2023, Oviedo, Spain. pp.461-471. ⟨hal-04310960⟩

typdoc

Communication dans un congrès

Accès au texte intégral et bibtex

ref_biblio

Hénoïk Willot, Sébastien Destercke, Khaled Belahcene. Les implicants premiers, un outil polyvalent pour l'explication de classification robuste. 17èmes Journées d'Intelligence Artificielle Fondamentale (JIAF 2023), Zied Bouraoui; François Schwarzentruber; Anaëlle Wilczynski, Jul 2023, Strasbourg, France. pp.146-155. ⟨hal-04310904⟩

typdoc

Communication dans un congrès

Accès au texte intégral et bibtex

ref_biblio

Elise Lincker, Olivier Pons, Camille Guinaudeau, Isabelle Barbet, Jérôme Dupire, et al.. Layout- and Activity-based Textbook Modeling for Automatic PDF Textbook Extraction. Intelligent Textbooks 2023, Jul 2023, Tokyo, Japan. pp.37-53. ⟨hal-04184895⟩

typdoc

Communication dans un congrès

Accès au texte intégral et bibtex

ref_biblio

Johanna Ott, Arthur Ledaguenel, Céline Hudelot, Mattis Hartwig. How to Think About Benchmarking Neurosymbolic AI?. 17th International Workshop on Neural-Symbolic Learning and Reasoning -NESY 2023, Jul 2023, Sienne, Italy. ⟨hal-04136556⟩

typdoc

Communication dans un congrès

Accès au texte intégral et bibtex

ref_biblio

Nuno Guerreiro, Pierre Colombo, Pablo Piantanida, André Martins. Optimal Transport for Unsupervised Hallucination Detection in Neural Machine Translation. 61st Annual Meeting of the Association for Computational Linguistics ACL, Jul 2023, Toronto, Canada. ⟨10.18653/v1/2023.acl-long.770⟩. ⟨hal-04575138⟩

typdoc

Communication dans un congrès

Accès au texte intégral et bibtex

ref_biblio

Nuno Guerreiro, Pierre Colombo, Pablo Piantanida, André Martins. Toward Stronger Textual Attack Detectors. Proceedings of the 61st Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), Jul 2023, Toronto, Canada. pp.13766-13784. ⟨hal-04575359⟩

typdoc

Communication dans un congrès

Accès au bibtex

ref_biblio

Romain Pascual, Pascale Le Gall, Hakim Belhaouari, Agnès Arnould. Une approche pour inférer les expressions de calcul géométrique en modélisation à base topologique. 22ème Journées des Approches Formelles dans l’Assistance au Développement de Logiciels, AFADL’23., Jun 2023, Rennes, France. ⟨hal-04185658⟩

typdoc

Communication dans un congrès

Accès au texte intégral et bibtex

ref_biblio

Elise Lincker, Camille Guinaudeau, Olivier Pons, Isabelle Barbet, Jérôme Dupire, et al.. Classification automatique de données déséquilibrées et bruitées : application aux exercices de manuels scolaires. 18e Conférence en Recherche d'Information et Applications -- 16e Rencontres Jeunes Chercheurs en RI -- 30e Conférence sur le Traitement Automatique des Langues Naturelles -- 25e Rencontre des Étudiants Chercheurs en Informatique pour le Traitement Automatique des Langues, Servan, Christophe; Vilnat, Anne, Jun 2023, Paris, France. pp.121-130. ⟨hal-04130220⟩

typdoc

Communication dans un congrès

Accès au texte intégral et bibtex

ref_biblio

Nicolas Belloir, Wassila Ouerdane, Oscar Pastor. Caractérisation des fausses nouvelles Une approche basée sur la modélisation conceptuelle. 41st INFORSID 2023, May 2023, La Rochelle, France. pp.103-104. ⟨hal-04453332⟩

typdoc

Communication dans un congrès

Accès au texte intégral et bibtex

ref_biblio

Javier Maass, Vincent Mousseau, Anaelle Wilczynski. A Hotelling-Downs Game for Strategic Candidacy with Binary Issues. 22nd International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2023), May 2023, London, United Kingdom. ⟨hal-04135567⟩

typdoc

Communication dans un congrès

Accès au bibtex

ref_biblio

Manuel Amoussou, Khaled Belahcene, Nicolas Maudet, Vincent Mousseau, Wassila Ouerdane. Explication de recommandations issues d’un modèle additif : de la conceptualisation à l’évaluation. 24e congrès annuel de la Société Française de Recherche Opérationnelle et d'Aide à la Décision (ROADEF 2023), ROADEF, Feb 2023, Rennes, France. ⟨hal-04108900⟩

typdoc

Communication dans un congrès

Accès au texte intégral et bibtex

ref_biblio

Mathieu Lerouge, Céline Gicquel, Vincent Mousseau, Wassila Ouerdane. Génération d'explications de différentes natures pour les utilisateurs d'outils d'optimisation: application au problème de planification d'employés mobiles. ROADEF 2023 - 24e congrès de la Société Française de Recherche Opérationnelle et Aide à la Décision, Feb 2023, Rennes, France. ⟨hal-04389330⟩

typdoc

Communication dans un congrès

Accès au texte intégral et bibtex

ref_biblio

Mathieu Lerouge, Céline Gicquel, Vincent Mousseau, Wassila Ouerdane. Counterfactual Explanations for Workforce Scheduling and Routing Problems. ICORES 2023 - 12th International Conference on Operations Research and Enterprise Systems, Feb 2023, Lisbon, Portugal. pp.50-61, ⟨10.5220/0011639900003396⟩. ⟨hal-04016553⟩

typdoc

Communication dans un congrès

Accès au texte intégral et bibtex

ref_biblio

Olivier Pons, Isabelle Barbet, Jérôme Dupire, Valérie Grembi, Camille Guinaudeau, et al.. Projet ANR MALIN : MAnuels scoLaires INclusifs. 18e Conférence en Recherche d'Information et Applications, 16e Rencontres Jeunes Chercheurs en RI, 30e Conférence sur le Traitement Automatique des Langues Naturelles, 25e Rencontre des Étudiants Chercheurs en Informatique pour le Traitement Automatique des Langues, 2023, Paris, France. pp.30-31. ⟨hal-04208594⟩

typdoc

Communication dans un congrès

Accès au texte intégral et bibtex

ref_biblio

Maxime Darrin, Pablo Piantanida, Pierre Colombo. RAINPROOF: An umbrella to shield text generators from Out-of-Distribution data. 2023 Conference on Empirical Methods in Natural Language Processing EMNLP, 2023, Singapore, Singapore. pp.5831-5857, ⟨10.18653/v1/2023.emnlp-main.357⟩. ⟨hal-04575142⟩

typdoc

Communication dans un congrès

Accès au texte intégral et bibtex

ref_biblio

Pierre Colombo, Victor Pellegrain, Malik Boudiaf, Victor Storchan, Myriam Tami, et al.. Transductive Learning for Textual Few-Shot Classification in API-based Embedding Models. Conference on Empirical Methods in Natural Language Processing (EMNLP), 2023, Singapore, Singapore. ⟨10.18653/v1/2023.emnlp-main.257⟩. ⟨hal-04327170⟩

typdoc

Communication dans un congrès

Accès au texte intégral et bibtex

ref_biblio

Malik Boudiaf, Etienne Bennequin, Myriam Tami, Antoine Toubhans, Pablo Piantanida, et al.. Open-Set Likelihood Maximization for Few-Shot Learning. CVPR, 2023, Vancouver, Canada. ⟨10.1109/cvpr52729.2023.02299⟩. ⟨hal-04327201⟩

typdoc

Communication dans un congrès

Accès au texte intégral et bibtex

Communication dans un congrès

ref_biblio

Lionel Blatter, Nikolai Kosmatov, V. Prevosto, Pascale Le Gall. An efficient VCGen-based modular verification of relational properties. ISoLA 2022 - 11th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Oct 2022, Rhodes, Greece. ⟨cea-03768250⟩

typdoc

Communication dans un congrès

Accès au texte intégral et bibtex

ref_biblio

Nicolas Belloir, Wassila Ouerdane, Oscar Pastor. Characterizing Fake News: A Conceptual Modeling-based Approach. ER 2022 - 41st International Conference on Conceptual Modeling, Oct 2022, Hyderabad, India. ⟨10.1007/978-3-031-17995-2_9⟩. ⟨hal-03697974⟩

typdoc

Communication dans un congrès

Accès au texte intégral et bibtex

ref_biblio

Cyril Chhun, Pierre Colombo, Fabian M Suchanek, Chloé Clavel. Of Human Criteria and Automatic Metrics: A Benchmark of the Evaluation of Story Generation. 29th International Conference on Computational Linguistics (COLING 2022), Oct 2022, Gyeongju, South Korea. ⟨hal-03801053⟩

typdoc

Communication dans un congrès

Accès au texte intégral et bibtex

ref_biblio

Thomas Cordier, Victor Bouvier, Gilles Hénaff, Céline Hudelot. Test-Time Adaptation with Principal Component Analysis. Workshop on Trustworthy Artificial Intelligence as a part of the ECML/PKDD 22 program, IRT SystemX [IRT SystemX], Sep 2022, Grenoble, France, France. ⟨hal-03773370⟩

typdoc

Communication dans un congrès

Accès au texte intégral et bibtex

ref_biblio

Laurent Gourvès, Julien Lesca, Anaëlle Wilczynski. Sur l'Équité via la Sélection en Séquence pour l'Allocation de Biens Indivisibles. 16èmes Journées d'Intelligence Artificielle Fondamentale, Jun 2022, Saint-Etienne, France. ⟨hal-03839729⟩

typdoc

Communication dans un congrès

Accès au texte intégral et bibtex

ref_biblio

Manuel Amoussou, Khaled Belahcene, Nicolas Maudet, Vincent Mousseau, Wassila Ouerdane. Des explications par étapes pour le modèle additif. 16èmes Journées d'Intelligence Artificielle Fondamentale (JIAF 2022), Jun 2022, Saint-Etienne, France. pp.35-48. ⟨hal-03825214⟩

typdoc

Communication dans un congrès

Accès au texte intégral et bibtex

ref_biblio

Victor Pellegrain, Myriam Tami, Michel Batteux, Céline Hudelot. Apprentissage multimodal pour le diagnostic de fautes sur données séquentielles non alignées et arbitrairement longues. Conférence Nationale d’Intelligence Artificielle (CNIA), Jun 2022, Saint-Etienne, France. ⟨hal-03814823⟩

typdoc

Communication dans un congrès

Accès au bibtex

ref_biblio

Etienne Bennequin, Myriam Tami, Antoine Toubhans, Céline Hudelot. Few-Shot Image Classification Benchmarks are Too Far From Reality: Build Back Better with Semantic Task Sampling. 2022 IEEE/CVF Conference on Computer Vision and Pattern Recognition Workshops (CVPRW), Jun 2022, New Orleans, United States. pp.4766-4775, ⟨10.1109/CVPRW56347.2022.00523⟩. ⟨hal-04574156⟩

typdoc

Communication dans un congrès

Accès au bibtex

ref_biblio

Lionel Blatter, Nikolai Kosmatov, Virgile Prevosto, Pascale Le Gall. Certified verification of relational properties. iFM 2022 : International Conference on integrated Formal Methods, Jun 2022, Lugano, Switzerland. pp.86-105, ⟨10.1007/978-3-031-07727-2_6⟩. ⟨cea-03714381⟩

typdoc

Communication dans un congrès

Accès au texte intégral et bibtex

ref_biblio

Nicolas Belloir, Wassila Ouerdane, Oscar Pastor, Émilien Frugier, Louis-Antoine de Barmon. A Conceptual Characterization of Fake News: A Positioning Paper. 16th International Conference on Research Challenges in Information Science (RCIS'22), May 2022, Barcelone, Spain. ⟨10.1007/978-3-031-05760-1_41⟩. ⟨hal-03679073⟩

typdoc

Communication dans un congrès

Accès au texte intégral et bibtex

ref_biblio

Mathieu Lerouge, Céline Gicquel, Vincent Mousseau, Wassila Ouerdane. Conception de méthodes d'explication des solutions émanant de systèmes d'optimisation, application à la planification d'employés mobiles. ROADEF2022 - 23ème congrès annuel de la Société Française de Recherche Opérationnelle et d'Aide à la Décision, INSA Lyon, Feb 2022, Villeurbanne - Lyon, France. ⟨hal-03595266⟩

typdoc

Communication dans un congrès

Accès au texte intégral et bibtex

Communication dans un congrès

ref_biblio

Jun Zhu, Gautier Viaud, Céline Hudelot. Improving Next-Application Prediction with Deep Personalized-Attention Neural Network. IEEE INTERNATIONAL CONFERENCE ON MACHINE LEARNING AND APPLICATIONS, Dec 2021, virtually online, United States. ⟨10.1109/ICMLA52953.2021.00258⟩. ⟨hal-03420596⟩

typdoc

Communication dans un congrès

Accès au texte intégral et bibtex

ref_biblio

Paolo Ballarini, András Horváth. Performance Analysis of Production Lines Through Statistical Model Checking. European Workshop on Performance Engineering International Conference on Analytical and Stochastic Modeling Techniques and Applications, Dec 2021, Tsukuba, Japan. pp.264-281, ⟨10.1007/978-3-030-91825-5_16⟩. ⟨hal-04148897⟩

typdoc

Communication dans un congrès

Accès au bibtex

ref_biblio

Laurent Gourvès, Julien Lesca, Anaëlle Wilczynski. On Fairness via Picking Sequences in Allocation of Indivisible Goods. 7th International Conference on Algorithmic Decision Theory (ADT-21), Nov 2021, Toulouse, France. pp.258-272, ⟨10.1007/978-3-030-87756-9_17⟩. ⟨hal-03406848⟩

typdoc

Communication dans un congrès

Accès au texte intégral et bibtex

ref_biblio

Jean-Philippe Poli, Wassila Ouerdane, Regis Pierrard. Génération d'explications textuelles en XAI : le cas de l'annotation sémantique. Rencontres francophones sur la logique floue et ses applications, Université de la Sorbonne, Oct 2021, Paris, France. pp.179-186. ⟨cea-03406887⟩

typdoc

Communication dans un congrès

Accès au texte intégral et bibtex

ref_biblio

Ismaïl Baaj, Jean-Philippe Poli, Wassila Ouerdane, Nicolas Maudet. Inférence min-max pour un système à base de règles possibilistes. Rencontres francophones sur la logique floue et ses applications, Université de la Sorbonne, Oct 2021, Paris, France. pp.233-240. ⟨cea-03402616⟩

typdoc

Communication dans un congrès

Accès au texte intégral et bibtex

ref_biblio

Edoardo Ramalli, Alberto Parravicini, Guido Di Donato, Mirko Salaris, Céline Hudelot, et al.. Demystifying Drug Repurposing Domain Comprehension with Knowledge Graph Embedding. 2021 IEEE Biomedical Circuits and Systems Conference (BioCAS), Oct 2021, Berlin, France. pp.1-5, ⟨10.1109/BioCAS49922.2021.9644981⟩. ⟨hal-04571471⟩

typdoc

Communication dans un congrès

Accès au bibtex

ref_biblio

Ismaïl Baaj, Jean-Philippe Poli, Wassila Ouerdane, Nicolas Maudet. Representation of Explanations of Possibilistic Inference Decisions. ECSQARU 2021: European Conference on Symbolic and Quantitative Approaches with Uncertainty, Sep 2021, Prague, Czech Republic. pp.513-527, ⟨10.1007/978-3-030-86772-0_37⟩. ⟨cea-03406884⟩

typdoc

Communication dans un congrès

Accès au texte intégral et bibtex

ref_biblio

Paolo Ballarini, Andras Horvath. Formal analysis of production line systems by probabilistic model checking tools. 2021 IEEE 26th International Conference on Emerging Technologies and Factory Automation (ETFA), Sep 2021, Vasteras, Sweden. pp.01-08, ⟨10.1109/ETFA45728.2021.9613494⟩. ⟨hal-04148904⟩

typdoc

Communication dans un congrès

Accès au bibtex

ref_biblio

Khaled Belahcene, Vincent Mousseau, Anaëlle Wilczynski. Combining Fairness and Optimality when Selecting and Allocating Projects. 30th International Joint Conference on Artificial Intelligence (IJCAI 2021), Aug 2021, Montreal, Canada. pp.38-44, ⟨10.24963/ijcai.2021/6⟩. ⟨hal-03312854⟩

typdoc

Communication dans un congrès

Accès au bibtex

ref_biblio

Ismaïl Baaj, Jean-Philippe Poli, Wassila Ouerdane, Nicolas Maudet. Min-max inference for Possibilistic Rule-Based System. 2021 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE), Jul 2021, Luxembourg, Luxembourg. pp.9494506, ⟨10.1109/FUZZ45933.2021.9494506⟩. ⟨hal-03408909⟩

typdoc

Communication dans un congrès

Accès au texte intégral et bibtex

ref_biblio

Jean-Philippe Poli, Wassila Ouerdane, Regis Pierrard. Generation of Textual Explanations in XAI: the Case of Semantic Annotation. 2021 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE), Jul 2021, Luxembourg, Luxembourg. pp.9494589, ⟨10.1109/FUZZ45933.2021.9494589⟩. ⟨hal-03408917⟩

typdoc

Communication dans un congrès

Accès au texte intégral et bibtex

ref_biblio

Yassine Ouali, Victor Bouvier, Myriam Tami, Myriam Tami, Céline Hudelot. Target Consistency for Domain Adaptation: when Robustness meets Transferability. Conférence sur l'Apprentissage Automatique (CAP 2021), Jun 2021, Saint Etienne (FR), France. ⟨10.48550/arXiv.2006.14263⟩. ⟨hal-04579696⟩

typdoc

Communication dans un congrès

Accès au bibtex

ref_biblio

Virgile Robles, Nikolai Kosmatov, Virgile Prévosto, Louis Rilling, Pascale Le Gall. Methodology for Specification and Verification of High-Level Requirements with MetAcsl. FormaliSE 2021 - 9th International Conference on Formal Methods in Software Engineering, IEEE TCSE; SIGSOFT, May 2021, Online conference, France. ⟨cea-03179670⟩

typdoc

Communication dans un congrès

Accès au texte intégral et bibtex

ref_biblio

Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall. A small-step approach to multi-trace checking against interactions. SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, ACM (SIGAPP), Mar 2021, Virtual Event, South Korea. pp.1815-1822, ⟨10.1145/3412841.3442054⟩. ⟨cea-04224612⟩

typdoc

Communication dans un congrès

Accès au texte intégral et bibtex

ref_biblio

Felix Brandt, Martin Bullinger, Anaëlle Wilczynski. Reaching Individually Stable Coalition Structures in Hedonic Games. 35th AAAI Conference on Artificial Intelligence (AAAI-21), Feb 2021, Virtual event, United States. pp.5211-5218. ⟨hal-03312852⟩

typdoc

Communication dans un congrès

Accès au bibtex

ref_biblio

Antoine Plumerault, Hervé Le Borgne, Céline Hudelot. AVAE: Adversarial variational auto encoder. ICPR 2020 - 25th International conference on pattern recognition, Jan 2021, Milan, Italy. pp.8687-8694, ⟨10.1109/ICPR48806.2021.9412727⟩. ⟨hal-04314595⟩

typdoc

Communication dans un congrès

Accès au texte intégral et bibtex

ref_biblio

Umang Aggarwal, Adrian Popescu, Céline Hudelot. Minority Class Oriented Active Learning for Imbalanced Datasets. 2020 25th International Conference on Pattern Recognition (ICPR), Jan 2021, Milan, France. pp.9920-9927, ⟨10.1109/ICPR48806.2021.9412182⟩. ⟨hal-04571474⟩

typdoc

Communication dans un congrès

Accès au bibtex

ref_biblio

Victor Bouvier, Philippe Very, Clément Chastagnol, Myriam Tami, Céline Hudelot. Stochastic Adversarial Gradient Embedding for Active Domain Adaptation. ECML, 2021, Bilbao, Spain. ⟨hal-04327253⟩

typdoc

Communication dans un congrès

Accès au texte intégral et bibtex

ref_biblio

Etienne Bennequin, Victor Bouvier, Myriam Tami, Antoine Toubhans, Céline Hudelot. Bridging Few-Shot Learning and Adaptation: New Challenges of Support-Query Shift. ECML, 2021, Bilbao, Spain. ⟨10.1007/978-3-030-86486-6_34⟩. ⟨hal-04327278⟩

typdoc

Communication dans un congrès

Accès au texte intégral et bibtex

ref_biblio

Yassine Ouali, Céline Hudelot, Myriam Tami. Spatial Contrastive Learning for Few-Shot Classification. ECML, 2021, Bilbao, Spain. ⟨10.1007/978-3-030-86486-6_41⟩. ⟨hal-04327293⟩

typdoc

Communication dans un congrès

Accès au texte intégral et bibtex

Communication dans un congrès

ref_biblio

Manuel Amoussou, Khaled Belahcene, Christophe Labreuche, Nicolas Maudet, Vincent Mousseau, et al.. Explaining Robust Additive Decision Models: Generation of Mixed Preference-Swaps by Using MILP. From Multiple Criteria Decision Aid to Preference Learning (DA2PL 2020), Nov 2020, Trento (virtual), Italy. ⟨hal-03230519⟩

typdoc

Communication dans un congrès

Accès au texte intégral et bibtex

ref_biblio

Pegdwendé Minoungou, Vincent Mousseau, Wassila Ouerdane, Paolo Scotton. Learning an MR-sort model from data with latent criteria preference direction. In the 5th workshop from multiple criteria Decision Aid to Preference Learning, Nov 2020, Trento, Italy. ⟨hal-03102714⟩

typdoc

Communication dans un congrès

Accès au texte intégral et bibtex

ref_biblio

Victor Bouvier, Philippe Very, Clément Chastagnol, Myriam Tami, Céline Hudelot. Robust Domain Adaptation: Representations, Weights and Inductive Bias. ECML 2020, Sep 2020, Gand ( virtuel ), Belgium. ⟨10.1007/978-3-030-67658-2_21⟩. ⟨hal-03050623v2⟩

typdoc

Communication dans un congrès

Accès au texte intégral et bibtex

ref_biblio

Yassine Ouali, Céline Hudelot, Myriam Tami. Autoregressive Unsupervised Image Segmentation. ECCV 2020, Aug 2020, Glasgow (on line), United Kingdom. ⟨10.1007/978-3-030-58571-6_9⟩. ⟨hal-03050599⟩

typdoc

Communication dans un congrès

Accès au texte intégral et bibtex

ref_biblio

Paolo Ballarini, Davide Duma, Andras Horváth, Roberto Aringhieri. Petri Nets Validation of Markovian Models of Emergency Department Arrivals. Application and Theory of Petri Nets and Concurrenc, Jun 2020, Paris, France. pp.219-238, ⟨10.1007/978-3-030-51831-8_11⟩. ⟨hal-04148920⟩

typdoc

Communication dans un congrès

Accès au bibtex

ref_biblio

Yassine Ouali, Céline Hudelot, Myriam Tami. Semi-Supervised Semantic Segmentation with Cross-Consistency Training. CVPR 2020, Jun 2020, Seattle (virtual), United States. ⟨10.1109/CVPR42600.2020.01269⟩. ⟨hal-03049937⟩

typdoc

Communication dans un congrès

Accès au texte intégral et bibtex

ref_biblio

Antoine Plumerault, Hervé Le Borgne, Céline Hudelot. Controlling generative models with continuous factors of variations. ICLR 2020 - Eighth International Conference on Learning Representations, Apr 2020, Addis Abeba (Virtual event), Ethiopia. ⟨hal-04314572⟩

typdoc

Communication dans un congrès

Accès au texte intégral et bibtex

ref_biblio

Umang Aggarwal, Adrian Popescu, Céline Hudelot. Active learning for imbalanced datasets. WACV 2020 - IEEE Winter Conference on Applications of Computer Vision, Mar 2020, Snowmass, United States. pp.1417-1426, ⟨10.1109/WACV45572.2020.9093475⟩. ⟨hal-04342293⟩

typdoc

Communication dans un congrès

Accès au texte intégral et bibtex

ref_biblio

Régis Pierrard, Laurent Cabaret, Jean-Philippe Poli, Céline Hudelot. SIMD-based Exact Parallel Fuzzy Dilation Operator for Fast Computing of Fuzzy Spatial Relations. WPMVP 2020 Workshop on Programming Models for SIMD/Vector Processing, Feb 2020, San Diego, United States. ⟨10.1145/3380479.3380482⟩. ⟨hal-02517053⟩

typdoc

Communication dans un congrès

Accès au texte intégral et bibtex

ref_biblio

Béatrice Mazoyer, Nicolas Hervé, Céline Hudelot, Julia Cage. Représentations lexicales pour la détection non supervisée d'événements dans un flux de tweets : étude sur des corpus français et anglais. Extraction et Gestion des connaissances, EGC 2020, Jan 2020, Bruxelles, Belgique. ⟨hal-02432990⟩

typdoc

Communication dans un congrès

Accès au texte intégral et bibtex

ref_biblio

Béatrice Mazoyer, Julia Cagé, Nicolas Hervé, Céline Hudelot. A French Corpus for Event Detection on Twitter. Twelfth Language Resources and Evaluation Conference, 2020, Marseille, France. pp.6220-6227. ⟨hal-03947820⟩

typdoc

Communication dans un congrès

Accès au texte intégral et bibtex

Communication dans un congrès

ref_biblio

Ismaïl Baaj, Jean-Philippe Poli, Wassila Ouerdane. Some insights Towards a Unified Semantic Representation of Explanation for eXplainable Artificial Intelligence (XAI). The 1st workshop on Interactive Natural Language Technology for Explainable Artificial Intelligence (NL4XAI), Oct 2019, Tokyo, Japan. pp.14-19, ⟨10.18653/v1/W19-8404⟩. ⟨hal-03102722⟩

typdoc

Communication dans un congrès

Accès au texte intégral et bibtex

ref_biblio

Virgile Robles, Nikolai Kosmatov, Virgile Prévosto, Louis Rilling, Pascale Le Gall. Tame your annotations with MetAcsl: Specifying, Testing and Proving High-Level Properties. International Conference on Tests and Proofs (TAP), Oct 2019, Porto, Portugal. ⟨10.1007/978-3-030-31157-5_11⟩. ⟨cea-02301892⟩

typdoc

Communication dans un congrès

Accès au texte intégral et bibtex

ref_biblio

Régis Pierrard, Jean-Philippe Poli, Céline Hudelot. A New Approach for Explainable Multiple Organ Annotation with Few Data. IJCAI 2019 Workshop on Explainable Artificial Intelligence (XAI), Aug 2019, Macao, Macau SAR China. ⟨hal-02418480⟩

typdoc

Communication dans un congrès

Accès au texte intégral et bibtex

ref_biblio

Khaled Belahcene, Christophe Labreuche, Nicolas Maudet, Vincent Mousseau, Wassila Ouerdane. Comparing options with argument schemes powered by cancellation. 28th International Joint Conference on Artificial Intelligence (IJCAI-19), Aug 2019, Macao, Macau SAR China. pp.1537-1543, ⟨10.24963/ijcai.2019/213⟩. ⟨hal-02133034⟩

typdoc

Communication dans un congrès

Accès au texte intégral et bibtex

ref_biblio

Régis Pierrard, Jean-Philippe Poli, Céline Hudelot. Apprentissage de relations floues pour l’annotation sémantique expliquée avec peu de données. Rencontres des Jeunes Chercheurs en Intelligence Artificielle 2019, Toulouse Institute of Computer Science Research (IRIT), and the French AI Society (AFIA), Jul 2019, Toulouse, France. pp.18-26. ⟨hal-02160290⟩

typdoc

Communication dans un congrès

Accès au texte intégral et bibtex

ref_biblio

Béatrice Mazoyer, Nicolas Hervé, Céline Hudelot, Julia Cage. Réduire les biais dans la collecte de tweets. Journée DAHLIA : "Informatique et Humanités numériques : quelles problématiques pour quels domaines ?", Jun 2019, Nantes, France. ⟨hal-02339757⟩

typdoc

Communication dans un congrès

Accès au texte intégral et bibtex

ref_biblio

Ngo Minh Thang Nguyen, Boutheina Bannour, Arnault Lapitre, Pascale Le Gall. Behavioral Models and Scenario Selection for Testing IoT Trickle-Based Lossy Multicast Networks. 2019 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), Apr 2019, Xi'an, China. pp.168-175, ⟨10.1109/ICSTW.2019.00047⟩. ⟨hal-02421125⟩

typdoc

Communication dans un congrès

Accès au bibtex

ref_biblio

Virgile Robles, Nikolai Kosmatov, Virgile Prévosto, Louis Rilling, Pascale Le Gall. MetAcsl: Specification and Verification of High-Level Properties. TACAS 2019, Apr 2019, Prague, Czech Republic. ⟨10.1007/978-3-030-17462-0_22⟩. ⟨cea-02019790⟩

typdoc

Communication dans un congrès

Accès au texte intégral et bibtex

ref_biblio

Paolo Ballarini, Benoît Barbot, Nicolas Vasselin. Performance modelling of access control mechanisms for local and vehicular wireless networks. 12th EAI International Conference on Pervasive Computing Technologies for Healthcare, Mar 2019, Palma, Spain. pp.111-118. ⟨hal-02131725⟩

typdoc

Communication dans un congrès

Accès au texte intégral et bibtex

Communication dans un congrès

ref_biblio

Arthur Hennequin, Lionel Lacassagne, Laurent Cabaret, Quentin Meunier. A new Direct Connected Component Labeling and Analysis Algorithms for GPUs. 2018 Conference on Design and Architectures for Signal and Image Processing (DASIP), Oct 2018, Porto, Portugal. ⟨10.1109/dasip.2018.8596835⟩. ⟨hal-01923784⟩

typdoc

Communication dans un congrès

Accès au texte intégral et bibtex

ref_biblio

Paolo Ballarini, Michel Batteux, Leo Chartier, Antoine Rauzy. Analysis of business process specifications with OpenAltarica. 2018 IEEE International Systems Engineering Symposium (ISSE), Oct 2018, Rome, Italy. ⟨10.1109/syseng.2018.8544458⟩. ⟨hal-02194937⟩

typdoc

Communication dans un congrès

Accès au bibtex

ref_biblio

Julien Girard, Youssef Tamaazousti, Hervé Le Borgne, Céline Hudelot. Learning finer-class networks for universal representations. BMVC 2018 - the 29th British Machine Vision Conference, Sep 2018, Newcastle, United Kingdom. ⟨10.48550/arXiv.1810.02126⟩. ⟨hal-04315371⟩

typdoc

Communication dans un congrès

Accès au texte intégral et bibtex

ref_biblio

Régis Pierrard, Jean-Philippe Poli, Céline Hudelot. Learning Fuzzy Relations and Properties for Explainable Artificial Intelligence. 2018 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE), Jul 2018, Rio de Janeiro, Brazil. ⟨10.1109/FUZZ-IEEE.2018.8491538⟩. ⟨hal-02425453⟩

typdoc

Communication dans un congrès

Accès au texte intégral et bibtex

ref_biblio

Lionel Blatter, Nikolai Kosmatov, Pascale Le Gall, Virgile Prévosto, Guillaume Petiot. Static and Dynamic Verification of Relational Properties on Self-Composed C Code. Tests and Proofs - TAP, Jun 2018, Toulouse, France. ⟨cea-01835470⟩

typdoc

Communication dans un congrès

Accès au texte intégral et bibtex

ref_biblio

Lionel Blatter, Nikolai Kosmatov, Pascale Le Gall, Virgile Prévosto. RPP : Preuve automatique de propriétés relationnelles par Self-Composition. Approches Formelles pour l'Assistance au Développement de Logiciels - AFADL, Jun 2018, Grenoble, France. ⟨cea-01835491⟩

typdoc

Communication dans un congrès

Accès au texte intégral et bibtex

ref_biblio

Régis Pierrard, Jean-Philippe Poli, Céline Hudelot. A Fuzzy Close Algorithm for Mining Fuzzy Association Rules. 17th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU 2018), Jun 2018, Cadiz, Spain. pp.88-99, ⟨10.1007/978-3-319-91476-3_8⟩. ⟨hal-01698352v2⟩

typdoc

Communication dans un congrès

Accès au texte intégral et bibtex

ref_biblio

Jean-Christophe Léchenet, Nikolai Kosmatov, Pascale Le Gall. Fast Computation of Arbitrary Control Dependencies. FASE 2018 International Conference on Fundamental Approaches to Software Engineering, Apr 2018, Thessaloniki, Greece. pp.207-224, ⟨10.1007/978-3-319-89363-1_12⟩. ⟨hal-02539534⟩

typdoc

Communication dans un congrès

Accès au bibtex

ref_biblio

Béatrice Mazoyer, Julia Cage, Céline Hudelot, Marie-Luce Viaud. Real-time collection of reliable and representative tweets datasets related to news events. First International Workshop on Analysis of Broad Dynamic Topics over Social Media (BroDyn 2018) co-located with the 40th European Conference on Information Retrieval (ECIR 2018), Mar 2018, Grenoble, France. ⟨hal-02321957⟩

typdoc

Communication dans un congrès

Accès au texte intégral et bibtex

Communication dans un congrès

ref_biblio

Laurent Cabaret, Lionel Lacassagne, Daniel Etiemble. Distanceless Label Propagation: an Efficient Direct Connected Component Labeling Algorithm for GPUs. 2017 Seventh International Conference on Image Processing Theory, Tools and Applications (IPTA), Nov 2017, Montreal, QC, Canada. pp.1-6, ⟨10.1109/IPTA.2017.8310147⟩. ⟨hal-01656756⟩

typdoc

Communication dans un congrès

Accès au texte intégral et bibtex

ref_biblio

Nassim Benharrat, Christophe Gaston, Robert M. Hierons, Arnault Lapitre, Pascale Le Gall. Constraint-Based Oracles for Timed Distributed Systems. 29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.276-292, ⟨10.1007/978-3-319-67549-7_17⟩. ⟨hal-01678964⟩

typdoc

Communication dans un congrès

Accès au texte intégral et bibtex

ref_biblio

Paolo Ballarini, Marco Beccuti, Enrico Bibbona, Andras Horvath, Roberta Sirovich, et al.. Analysis of Timed Properties Using the Jump-Diffusion Approximation. European Workshop on Performance Engineering, Sep 2017, Berlin, Germany. ⟨hal-01817472⟩

typdoc

Communication dans un congrès

Accès au texte intégral et bibtex

ref_biblio

Y. Tamaazousti, Hervé Le Borgne, Céline Hudelot. MuCaLe-Net: Multi categorical-Level networks to generate more discriminating features. 2017 IEEE Conference on Computer Vision and Pattern Recognition (CVPR), Jul 2017, Honolulu, HI, United States. pp.5282-5291, ⟨10.1109/CVPR.2017.561⟩. ⟨cea-01841669⟩

typdoc

Communication dans un congrès

Accès au texte intégral et bibtex

ref_biblio

Imen Boudhiba, Christophe Gaston, Pascale Le Gall, Virgile Prévosto. Symbolic execution of transition systems with function summaries. 11th International Conference on Tests & Proofs, Jul 2017, Marburg, Germany. ⟨cea-01810693⟩

typdoc

Communication dans un congrès

Accès au texte intégral et bibtex

ref_biblio

Thomas Bellet, Agnès Arnould, Hakim Belhaouari, Pascale Le Gall. Geometric Modeling: Consistency Preservation Using Two-Layered Variable Substitutions. International Conference on Graph Transformation ICGT 2017, Jul 2017, Marburg, Germany. pp.36-53, ⟨10.1007/978-3-319-61470-0_3⟩. ⟨hal-01817827⟩

typdoc

Communication dans un congrès

Accès au bibtex

ref_biblio

L. Blatter, N. Kosmatov, P. Le Gall, V. Prevosto. RPP: Automatic proof of relational properties by self-composition. TACAS 2017: Tools and Algorithms for the Construction and Analysis of Systems, Apr 2017, Uppsala, Sweden. pp.391-397, ⟨10.1007/978-3-662-54577-5_22⟩. ⟨cea-01808885⟩

typdoc

Communication dans un congrès

Accès au bibtex

Communication dans un congrès

ref_biblio

Y. Tamaazousti, Hervé Le Borgne, Céline Hudelot. Diverse concept-level features for multi-object classification. ICMR '16 Proceedings of the 2016 ACM on International Conference on Multimedia Retrieval Pages 63-70, Jun 2016, New York, United States. pp.63-70, ⟨10.1145/2911996.2912013⟩. ⟨cea-01813723⟩

typdoc

Communication dans un congrès

Accès au bibtex

ref_biblio

Lynda Mokdad, Jalel Ben-Othman, Paolo Ballarini. Stochastic models for IEEE 802.11p. IEEE Symposium on Computers and Communications (ISCC'16), Jun 2016, Messina, Italy. ⟨10.1109/ISCC.2016.7543717⟩. ⟨hal-01724310⟩

typdoc

Communication dans un congrès

Accès au bibtex

ref_biblio

Gabriel Pedroza, Pascale Le Gall, Christophe Gaston, Fabrice Bersey. Timed-model-based Method for Security Analysis and Testing of Smart Grid Systems. 19th International Symposium on Real-Time Distributed Computing (ISORC) 2016, May 2016, York, United Kingdom. ⟨10.1109/isorc.2016.15⟩. ⟨cea-01302826⟩

typdoc

Communication dans un congrès

Accès au texte intégral et bibtex

ref_biblio

J.-C. Léchenet, N. Kosmatov, P. Le Gall. Cut branches before looking for bugs: Sound verification on relaxed slices. International Conference on Fundamental Approaches to Software Engineering, Apr 2016, Eindhoven, Netherlands. pp.179-196, ⟨10.1007/978-3-662-49665-7_11⟩. ⟨cea-01808894⟩

typdoc

Communication dans un congrès

Accès au texte intégral et bibtex

ref_biblio

Jean-Christophe Léchenet, Nikolai Kosmatov, Pascale Le Gall. Coq a dit : fromage tranché ne peut cacher ses trous *. Vingt-septièmes Journées Francophones des Langages Applicatifs (JFLA 2016), Jan 2016, Saint-Malo, France. ⟨hal-01333605⟩

typdoc

Communication dans un congrès

Accès au texte intégral et bibtex

Communication dans un congrès

ref_biblio

Imen Boudhiba, Christophe Gaston, Pascale Le Gall, Virgile Prévosto. Model-based Testing from Input Output Symbolic Transition Systems Enriched by Program Calls and Contracts. The 27th IFIP International Conference on Testing Software and Systems (ICTSS-2015) , Nov 2015, Sharjah and Dubai, United Arab Emirates. ⟨cea-01810689⟩

typdoc

Communication dans un congrès

Accès au texte intégral et bibtex

ref_biblio

Jamal Atif, Isabelle Bloch, Céline Hudelot. Quelques liens entre la morphologie mathématique et l'analyse formelle de concepts. 24ème Conférence sur la Logique Floue et ses Applications, LFA 2015, Nov 2015, Poitiers, France. pp.299-308. ⟨hal-02287159⟩

typdoc

Communication dans un congrès

Accès au bibtex

Communication dans un congrès

ref_biblio

Boutheïna Bannour, Boutheina Bannour, Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall, et al.. Security Weaknesses Detection by Symbolic Analysis of Scenarios. 2014 21st Asia-Pacific Software Engineering Conference (APSEC), Dec 2014, Jeju, South Korea. ⟨10.1109/APSEC.2014.61⟩. ⟨hal-01812121⟩

typdoc

Communication dans un congrès

Accès au bibtex

ref_biblio

E Gallet, M Manceny, P Le Gall, Paolo Ballarini. An LTL Model Checking Approach for Biological Parameter Inference. International Conference on Formal Engineering Methods, Nov 2014, Luxembourg, Luxembourg. ⟨hal-01819841⟩

typdoc

Communication dans un congrès

Accès au texte intégral et bibtex

ref_biblio

Paolo Ballarini, Emmanuelle Gallet, Pascale Le Gall, Matthieu Manceny. Formal Analysis of the Wnt/β-catenin through Statistical Model Checking. 6th International Symposium, ISoLA 2014, Tiziana Margaria, Bernhard Steffen, Oct 2014, Corfu, Greece. ⟨hal-01110747⟩

typdoc

Communication dans un congrès

Accès au bibtex

ref_biblio

Paolo Ballarini, Emmanuelle Gallet, Pascale Le Gall, Matthieu Manceny. Formal analysis of the Wnt/β-catenin pathway through statistical model checking. International Symposium On Leveraging Applications of Formal Methods, Verification and Validation , Oct 2014, Corfu, Greece. ⟨hal-01819866⟩

typdoc

Communication dans un congrès

Accès au texte intégral et bibtex

ref_biblio

Céline Hudelot, Jamal Atif, Isabelle Bloch. ALC(F) A New Description Logic for Spatial Reasoning in Images. 13th European Conference on Computer Vision (ECCV), Sep 2014, Zurich, Switzerland. ⟨10.1007/978-3-319-16181-5_26⟩. ⟨hal-02404394⟩

typdoc

Communication dans un congrès

Accès au bibtex

ref_biblio

Hakim Belhaouari, Agnès Arnould, Pascale Le Gall, Thomas Bellet. JERBOA: A Graph Transformation Library for Topology-Based Geometric Modeling. 7th International Conference on Graph Transformation (ICGT 2014), Jul 2014, York, United Kingdom. ⟨10.1007/978-3-319-09108-2_18⟩. ⟨hal-01012851⟩

typdoc

Communication dans un congrès

Accès au bibtex

ref_biblio

Boutheïna Bannour, Boutheina Bannour, Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall, et al.. Designing Sequence Diagram Models for Robustness to Attacks. 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation Workshops (ICSTW), Mar 2014, OH, United States. ⟨10.1109/ICSTW.2014.50⟩. ⟨hal-01812124⟩

typdoc

Communication dans un congrès

Accès au bibtex

Communication dans un congrès

ref_biblio

Christophe Gaston, Robert M. Hierons, Pascale Le Gall. An implementation relation and test framework for timed distributed systems. International Conference on Testing Software and Systems, Nov 2013, Istanbul, Turkey. ⟨cea-01810746⟩

typdoc

Communication dans un congrès

Accès au texte intégral et bibtex

ref_biblio

Konstantin Todorov, Céline Hudelot, Peter Geibel. Fuzzy and Cross-Lingual Ontology Matching Mediated by Background Knowledge. URSW: Uncertainty Reasoning for the Semantic Web, Oct 2013, Sydney, NSW, Australia. pp.142-162, ⟨10.1007/978-3-319-13413-0_8⟩. ⟨hal-01987772⟩

typdoc

Communication dans un congrès

Accès au bibtex

ref_biblio

Jamal Atif, Isabelle Bloch, Felix Distel, Céline Hudelot. A fuzzy extension of explanatory relations based on mathematical morphology. EUSFLAT 2013, Sep 2013, Milano, Italy. pp.244--351, ⟨10.2991/eusflat.2013.41⟩. ⟨hal-00862605⟩

typdoc

Communication dans un congrès

Accès au bibtex

ref_biblio

Paolo Ballarini, Nathalie Bertrand, Andras Horvath, Marco Paolieri, Enrico Vicario. Transient Analysis of Networks of Stochastic Timed Automata using Stochastic State Classes. QEST - 10th International Conference on Quantitative Evaluation of Systems, Aug 2013, Buenos Aires, Argentina. pp.355-371, ⟨10.1007/978-3-642-40196-1_30⟩. ⟨hal-00915026⟩

typdoc

Communication dans un congrès

Accès au texte intégral et bibtex

ref_biblio

Elvio Amparore, Paolo Ballarini, Marco Beccuti, Susanna Donatelli, Giuliana Franceschinis. Expressing and Computing Passage Time Measures of GSPN Models with HASL. Application and Theory of Petri Nets and Concurrency, Jun 2013, Milan, Italy. ⟨10.1007/978-3-642-38697-8_7⟩. ⟨hal-00848708⟩

typdoc

Communication dans un congrès

Accès au texte intégral et bibtex

ref_biblio

Jamal Atif, Isabelle Bloch, Felix Distel, Céline Hudelot. Mathematical morphology operators over concept lattices. ICFCA, May 2013, Dresden, Germany. pp.28--43, ⟨10.1007/978-3-642-38317-5_2⟩. ⟨hal-00862621⟩

typdoc

Communication dans un congrès

Accès au bibtex

ref_biblio

Amel Znaidia, Hervé Le Borgne, Céline Hudelot. Tag completion based on belief theory and neighbor voting. 3rd ACM conference on International conference on multimedia retrieval, 2013, DALLAS, United States. pp.49-56, ⟨10.1145/2461466.2461476⟩. ⟨hal-00824600⟩

typdoc

Communication dans un congrès

Accès au bibtex

Communication dans un congrès

ref_biblio

Amel Znaidia, Aymen Shabou, Hervé Le Borgne, Céline Hudelot, Nikos Paragios. Bag-of-multimedia-words for image classification. Proceedings of the 21st International Conference on Pattern Recognition, ICPR 2012, Nov 2012, Tsukuba, Japan. pp.1509-1512. ⟨hal-00825187⟩

typdoc

Communication dans un congrès

Accès au bibtex

ref_biblio

Paolo Ballarini, Jarno Makela, Andre Ribeiro. Expressive Statistical Model Checking of Genetic Networks with Delayed Stochastic Dynamics. Computational Methods in Systems Biology, Oct 2012, United Kingdom. pp.29-48. ⟨hal-00832096⟩

typdoc

Communication dans un congrès

Accès au texte intégral et bibtex

ref_biblio

Konstantin Todorov, Peter Geibel, Céline Hudelot. Construction d'une ontologie commune par alignement flou d'ontologies d'un domaine. RFIA 2012 (Reconnaissance des Formes et Intelligence Artificielle), Jan 2012, Lyon, France. pp.978-2-9539515-2-3. ⟨hal-00656491⟩

typdoc

Communication dans un congrès

Accès au texte intégral et bibtex

ref_biblio

Amel Znaidia, Hervé Le Borgne, Céline Hudelot, Adrian Popescu. Prise en compte de l'imperfection des tags pour la classification sémantique d'images. RFIA 2012 (Reconnaissance des Formes et Intelligence Artificielle), Jan 2012, Lyon, France. pp.978-2-9539515-2-3. ⟨hal-00656498⟩

typdoc

Communication dans un congrès

Accès au texte intégral et bibtex

ref_biblio

Hichem Bannour, Céline Hudelot. Combinaison d'information visuelle, conceptuelle, et contextuelle pour la construction automatique de hiérarchies sémantiques adaptées à l'annotation d'images. RFIA 2012 (Reconnaissance des Formes et Intelligence Artificielle), Jan 2012, Lyon, France. pp.978-2-9539515-2-3. ⟨hal-00656489⟩

typdoc

Communication dans un congrès

Accès au texte intégral et bibtex

ref_biblio

Thomas Bellet, Agnès Arnould, Pascale Le Gall. JERBOA : un modeleur géométrique à base de règles. Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL), Jan 2012, Grenoble, France. ⟨hal-00936743⟩

typdoc

Communication dans un congrès

Accès au texte intégral et bibtex

ref_biblio

Hichem Bannour, Céline Hudelot. Building Semantic Hierarchies Faithful to Image Semantics. Proceedings of the 18th international conference on Advances in Multimedia Modeling, Jan 2012, Klagenfurt, Austria. pp.4--15, ⟨10.1007/978-3-642-27355-1_4⟩. ⟨hal-00740144⟩

typdoc

Communication dans un congrès

Accès au texte intégral et bibtex

ref_biblio

Adrien Maglo, Clement Courbet, Pierre Alliez, Céline Hudelot. Progressive compression of manifold polygon meshes. Shape Modeling International (SMI) Conference 2012, 2012, College station, texas, United States. pp.349-359. ⟨hal-00824613⟩

typdoc

Communication dans un congrès

Accès au bibtex

ref_biblio

Amel Znaidia, Aymen Shabou, Adrian Popescu, Hervé Le Borgne, Céline Hudelot. Multimodal feature generation framework for semantic image classification. ICMR '12 Proceedings of the 2nd ACM International Conference on Multimedia Retrieval, 2012, Hong Kong, Hong Kong SAR China. pp.article n° 38. ⟨hal-00825190⟩

typdoc

Communication dans un congrès

Accès au bibtex

ref_biblio

Amel Znaidia, Hervé Le Borgne, Céline Hudelot. Belief Theory for Large-Scale Multi-label Image Classification. International Conference on Belief Functions - BELIEF 2012, 2012, Compiègne, France. pp.205-212. ⟨hal-00825193⟩

typdoc

Communication dans un congrès

Accès au bibtex

ref_biblio

Hichem Bannour, Céline Hudelot. Hierarchical image annotation using semantic hierarchies. CIKM '12 Proceedings of the 21st ACM international conference on Information and knowledge management, 2012, Sheraton, United States. pp.2431-2434. ⟨hal-00825214⟩

typdoc

Communication dans un congrès

Accès au bibtex

Communication dans un congrès

ref_biblio

Jamal Atif, Céline Hudelot, Isabelle Bloch. Abduction in Description Logics using Formal Concept Analysis and Mathematical Morphology: Application to Image Interpretation. Proceedings of The Eighth International Conference on Concept Lattices and Their Applications,, 2011, Nancy, France. pp.405-408. ⟨hal-00825219⟩

typdoc

Communication dans un congrès

Accès au bibtex

ref_biblio

Konstantin Todorov, Peter Geibel, Céline Hudelot. Building A Fuzzy Knowledge Body for Integrating Domain Ontologies. Proceedings of the 7th International Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2011), 2011, Bonn, Germany. pp.3-14. ⟨hal-00825242⟩

typdoc

Communication dans un congrès

Accès au bibtex

ref_biblio

Jamal Atif, Céline Hudelot, Isabelle Bloch. Abduction dans les logiques de description : apport de l'analyse formelle de concepts et de la morphologie mathématique. Actes de l'atelier RTE : Représentation et Raisonnement sur le Temps et l'Espace (Atelier RTE 2011), 2011, France. ⟨hal-00825224⟩

typdoc

Communication dans un congrès

Accès au bibtex

ref_biblio

Adrien Maglo, Ian Grimstead, Céline Hudelot. Cluster-based Random Accessible and Progressive Lossless Compression of Colored Triangular Meshes for Interactive Visualization. Proceedings of Computer Graphics International 2011 conference, 2011, Ottawa, Canada. pp.1-8. ⟨hal-00825233⟩

typdoc

Communication dans un congrès

Accès au bibtex

ref_biblio

Konstantin Todorov, Peter Geibel, Céline Hudelot. A Framework for a Fuzzy Matching between Multiple Domain Ontologies. Knowledge-Based and Intelligent Information and Engineering Systems Lecture Notes in Computer Science. Proceedings of KES 2011, 2011, Germany. pp.538-547. ⟨hal-00825235⟩

typdoc

Communication dans un congrès

Accès au bibtex

ref_biblio

Hichem Bannour, Céline Hudelot. Towards Ontologies for Image Interpretation and Annotation. 9th International Workshop on Content-Based Multimedia Indexing - CBMI 2011, 2011, Madrid, Spain. pp.211 - 216, ⟨10.1109/CBMI.2011.5972547⟩. ⟨hal-00825255⟩

typdoc

Communication dans un congrès

Accès au bibtex

Communication dans un congrès

ref_biblio

Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall, Ana Rosa Cavalli. Testing web service orchestrators in context : a symbolic approach. SEFM 2010 : 8th IEEE International Conference on Software Engineering and Formal Methods, Sep 2010, Pisa, Italy. pp.257 - 267, ⟨10.1109/SEFM.2010.30⟩. ⟨hal-01306744⟩

typdoc

Communication dans un congrès

Accès au bibtex

ref_biblio

Nicolas James, Konstantin Todorov, Céline Hudelot. Ontology matching for the semantic annotation of images. Fuzzy Systems (FUZZ), 2010 IEEE International Conference on, 2010, Barcelona, Spain. pp.1 - 8, ⟨10.1109/FUZZY.2010.5584354⟩. ⟨hal-00825265⟩

typdoc

Communication dans un congrès

Accès au bibtex

ref_biblio

Nicolas James, Konstantin Todorov, Céline Hudelot. Combining Visual and Textual Modalities for Multimedia Ontology Matching. Semantic Multimedia -Lecture Notes in Computer Science proceedings of 5th International Conference on Semantic and Digital Media technologies (SAMT 2010), 2010, Saarbruken, Germany. pp.95-110, ⟨10.1007/978-3-642-23017-2_7⟩. ⟨hal-00825258⟩

typdoc

Communication dans un congrès

Accès au bibtex

ref_biblio

Adrien Maglo, Guillaume Lavoué, Céline Hudelot, Ho Lee, Christophe Mouton, et al.. Remote scientific visualization of progressive 3D meshes with X3D. Web3D '10 Proceedings of the 15th International Conference on Web 3D Technology, 2010, Los Angeles, United States. pp.109-116. ⟨hal-00825262⟩

typdoc

Communication dans un congrès

Accès au bibtex

ref_biblio

Céline Hudelot, Jamal Atif, Isabelle Bloch. Integrating Bipolar Fuzzy Mathematical Morphology in Description Logics for Spatial Reasoning. Frontiers in Artificial Intelligence and Applications, Proceedings of ECAI 2010, 2010, Lisbon, Portugal. pp.497 - 502, ⟨10.3233/978-1-60750-606-5-497⟩. ⟨hal-00825254⟩

typdoc

Communication dans un congrès

Accès au bibtex

Communication dans un congrès

ref_biblio

Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall, Ana Rosa Cavalli. Observability and controllability issues in conformance testing of Web service compositions. TESTCOM/FATES 2009 : 21st IFIP International Conference on Testing of Communicating Systems and 9th International Workshop on Formal Approaches to Testing of Software, Nov 2009, Eindhoven, Netherlands. pp.217 - 222, ⟨10.1007/978-3-642-05031-2_15⟩. ⟨hal-01360755⟩

typdoc

Communication dans un congrès

Accès au bibtex

ref_biblio

Nicolas James, Céline Hudelot. Towards Semantic Image Annotation With Keyword Disambiguation Using Semantic And Visual Knowledge. CIAM workshop, IJCAI conference, 2009, Pasadena, United States. ⟨hal-00825269⟩

typdoc

Communication dans un congrès

Accès au bibtex

ref_biblio

Clement Courbet, Céline Hudelot. Random Accessible Hierarchical Mesh Compression for Interactive Visualization. Computer Graphics Forum- Proceedings of Eurographics Symposium on Geometry Processing 2009, 2009, Berlin, Germany. pp.1311-1318, ⟨10.1111/j.1467-8659.2009.01508.x⟩. ⟨hal-00825268⟩

typdoc

Communication dans un congrès

Accès au bibtex

Communication dans un congrès

ref_biblio

Mathieu Poudret, Agnès Arnould, Jean-Paul Comet, Pascale Le Gall. Graph Transformation for Topology Modelling..  4th International Conference on Graph Transformation (ICGT'08), Sep 2008, Leicester, United Kingdom. pp.147-161, ⟨10.1007/978-3-540-87405-8_11⟩. ⟨hal-00341176⟩

typdoc

Communication dans un congrès

Accès au bibtex

ref_biblio

Alain Faivre, Christophe Gaston, Pascale Le Gall, Assia Touil. Testing of Software and Communicating Systems. 20th IFIP TC/WG 6.1 International Conference, TestCom 2008 - 8 th International Workshop, TATES 2008, Jun 2008, Tokyo, Japan. pp.184-199, ⟨10.1007/978-3-540-68524-1⟩. ⟨hal-00289229⟩

typdoc

Communication dans un congrès

Accès au bibtex

ref_biblio

Matthieu Manceny, Marc Aiguier, Pascale Le Gall, Joan Hérisson, Ivan Junier, et al.. Spatial Information and Boolean Genetic Regulatory Networks.. Bioinformatics and Computational Biology (BICoB), Apr 2008, New Orleans, United States. pp.270-281, ⟨10.1007/978-3-642-00727-9_26⟩. ⟨hal-00812184⟩

typdoc

Communication dans un congrès

Accès au texte intégral et bibtex

ref_biblio

Patricia Mouy, Bruno Marre, Nicky Williams, Pascale Le Gall. Generation of All-Paths Unit Test with Function Calls. First International Conference on Software Testing, Verification, and Validation, ICST 2008, Lillehammer, Norway, April 9-11, 2008, 2008, Lillehammer, Norway. pp.32--41, ⟨10.1109/ICST.2008.35⟩. ⟨hal-01810199⟩

typdoc

Communication dans un congrès

Accès au bibtex

ref_biblio

Céline Hudelot, Jamal Atif, Isabelle Bloch. Intégration de la morphologie mathématique floue dans une logique de description pour le raisonnement spatial. Actes des Rencontres francophones sur la Logique Floue et ses Applications, 2008, Lens, France. pp.336-343. ⟨hal-00825274⟩

typdoc

Communication dans un congrès

Accès au bibtex

Communication dans un congrès

ref_biblio

Marc Aiguier, Karim Berkani, Pascale Le Gall. Feature specification and static analysis for interaction resolution. 14th International Symposium on Formal Methods (FM 2006), Aug 2006, Hamilton, Canada. pp.364--379, ⟨10.1007/11813040_25⟩. ⟨hal-00341977⟩

typdoc

Communication dans un congrès

Accès au texte intégral et bibtex

Communication dans un congrès

ref_biblio

Marc Aiguier, Christophe Gaston, Pascale Le Gall, Delphine Longuet, Assia Touil. A Temporal Logic for Input Output Symbolic Transition Systems. 12th Asia-Pacific Software Engineering Conference (APSEC'05), Dec 2005, Taipei, Taiwan. pp.43--50, ⟨10.1109/APSEC.2005.19⟩. ⟨hal-00341980⟩

typdoc

Communication dans un congrès

Accès au texte intégral et bibtex

ref_biblio

Marc Aiguier, Agnès Arnould, Clément Boin, Pascale Le Gall, Bruno Marre. Testing from algebraic specifications: test data set selection by unfolding axioms. 5th International Workshop on Formal Approaches to Testing of Software (FATES 2005), 2005, Edinburgh, United Kingdom. pp.203--217, ⟨10.1007/11759744_14⟩. ⟨hal-00341964⟩

typdoc

Communication dans un congrès

Accès au texte intégral et bibtex