|
|
Title
|
Authors
|
Published in
|
Date
|
| tschora.23.ida
|
Forecasting Electricity Prices: An Optimize Then Predict-Based Approach
|
Léonard Tschora, Erwan Pierre, Marc Plantevit, Céline Robardet
|
Advances in Intelligent Data Analysis XXI
|
10 April 2023
|
| Xu.23.sac
|
Optimization of the Product Configuration System of Renault
|
Hao Xu, Souheib Baarir, Tewfik Ziadi, Siham EssodaiguiYves Bossu, Lom Messan Hillah
|
SAC '23: The 38th ACM/SIGAPP Symposium on Applied Computing
|
3 April 2023
|
| fahrenberg.23.pn
|
A Myhill-Nerode Theorem for Higher-Dimensional Automata
|
Uli Fahrenberg, Krzysztof Ziemiański
|
Application and Theory of Petri Nets and Concurrency (PETRI NETS)
|
5 March 2023
|
| diop.22.ieeebigdata
|
Trie-based Output Itemset Sampling
|
Lamine Diop, Cheikh Talibouya Diop, Dominique Li, Arnaud Soulet, GiacomettiArnaud
|
2022 IEEE International Conference on Big Data (Big Data)
|
12 December 2022
|
| bouarour.22.ieeebigdata
|
Learning Diversity Attributes in Multi-Session Recommendations
|
Nassim Bouarour, Idir Benouaret, Amer-YahiaSihem
|
2022 IEEE International Conference on Big Data (Big Data)
|
12 December 2022
|
| kheireddine.22.apsec
|
Tuning SAT Solvers for LTL Model Checking
|
Anissa Kheireddine, Étienne Renault, Souheib Baarir
|
Proceedings of the 29th Asia-Pacific Software Engineering Conference (APSEC'22)
|
9 December 2022
|
| vallade.22.setta
|
Diversifying a Parallel SAT Solver with Bayesian Moment Matching
|
V Vallade, S Nejati, J Sopena, V Ganesh, S Baarir
|
Symposium on Dependable Software Engineering TheoriesTools and Applications
|
8 December 2022
|
| dziadek.23.fm
|
Energy Problems in Finite and Timed Automata with Büchi Conditions
|
Sven Dziadek, Uli Fahrenberg, Philipp Schlehuber-Caissier
|
International Symposium on Formal Methods (FM)
|
8 December 2022
|
| saouli.23.vmcai
|
CosySEL: Improving SAT Solving Using Local Symmetries
|
S Saouli, S Baarir, C Dutheillet, J Devriendt
|
24th International Conference on Verification, Model Checking, and Abstract Interpretation
|
8 December 2022
|
| movn.22.nips
|
Topology-Aware Method to Segment 3D Plan Tissue Images
|
Minh Ôn Vũ Ngoc, Nicolas Boutry, Jonathan Fabrizio
|
36th Conference on Neural Information Processing SystemsAI for Science Workshop
|
25 October 2022
|
| esteban.22.gpce
|
The Cost of Dynamism in Static Languages for Image Processing
|
Baptiste Esteban, Edwin Carlinet, Guillaume Tochon, Didier Verna
|
Proceedings of the 21st International Conference on Generative Programming: Concepts & Experiences (GPCE 2022)
|
10 October 2022
|
| roynard.22.gpce
|
A Modern C++ Point of View of Programming in Image Processing
|
Michaël Roynard, Edwin Carlinet, Thierry Géraud
|
Proceedings of the 21st International Conference on Generative Programming: Concepts & Experiences (GPCE 2022)
|
10 October 2022
|
| zhao.22.iros
|
Multi-purpose Tactile Perception Based on Deep Learning in a New Tendon-driven Optical Tactile Sensor
|
Zhou Zhao, Zhenyu Lu
|
2022 IEEE/RSJ International Conference on Intelligent Robots and Systems
|
1 October 2022
|
| duluard.22.mlsa
|
Discovering and Visualizing Tactics in Table Tennis Games Based on Subgroup Discovery
|
Pierre Duluard, Xinqing Li, Marc Plantevit, Céline Robardet, Romain Vuillemot
|
Machine Learning and Data Mining for Sports Analytics - 9th International Workshop, MLSA 2022
|
19 September 2022
|
| kamal.22.xkdd
|
Improving the Quality of Rule-Based GNN Explanations
|
Ataollah Kamal, Elouan Vincent, Marc Plantevit, Céline Robardet
|
Workshop on eXplainable Knowledge Discovery in Data Mining. Machine Learning and Principles and Practice of Knowledge Discovery in Databases - International Workshops of ECML PKDD 2022, GrenobleFrance, September 19-23, 2022, Proceedings, Part I
|
12 September 2022
|
| fahrenberg.22.concur
|
A Kleene Theorem for Higher-Dimensional Automata
|
Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemiański
|
33rd International Conference on Concurrency Theory (CONCUR 2022)
|
6 September 2022
|
| newton.22.ifl
|
Comparing Use-Cases of Tree-Fold vs Fold-Left, How to Fold and Color a Map
|
Jim Newton
|
Symposium on Implementation and Application of Functional Languages
|
31 August 2022
|
| lepage.22.interspeech
|
Label-Efficient Self-Supervised Speaker Verification With Information Maximization and Contrastive Learning
|
Théo Lepage, Réda Dehak
|
Proc. Interspeech 2022
|
28 August 2022
|
| veyrin-forrer.22.ijcai
|
What Does my GNN Really Capture? On Exploring Internal GNN Representations
|
Luca Veyrin-Forrer, Ataollah Kamal, Stefan Duffner, Marc Plantevit, Céline Robardet
|
International Joint Conference on Artificial Intelligence 2022
|
23 July 2022
|
| akshay.22.stacs
|
On Robustness for the Skolem and Positivity Problems
|
S Akshay, Hugo Bazille, Blaise Genest, Mihir Vahanwala
|
39th International Symposium on Theoretical Aspects of Computer Science STACS
|
7 July 2022
|
| esteban.22.gretsi.2
|
Généricité dynamique pour des algorithmes morphologiques
|
Baptiste Esteban, Edwin Carlinet, Guillaume Tochon, Didier Verna
|
28e Colloque sur le traitement du signal et des images
|
15 June 2022
|
| esteban.22.gretsi.1
|
Estimation de la fonction de niveau de bruit pour des images couleurs en utilisant la morphologie mathématique
|
Baptiste Esteban, Guillaume Tochon, Edwin Carlinet, Didier Verna
|
28e Colloque sur le traitement du signal et des images
|
15 June 2022
|
| duret.22.cav
|
From Spot 2.0 to Spot 2.10: What's New?
|
Alexandre Duret-Lutz, Etienne Renault, Maximilien Colange, Florian Renkin, Alexandre Gbaguidi Aisse, Philipp Schlehuber-Caissier, Thomas Medioni, Antoine Martin, Jérôme Dubois, Clément Gillard, Henrich Lauko
|
Proceedings of the 34th International Conference on Computer Aided Verification (CAV'22)
|
6 June 2022
|
| renkin.22.forte
|
Effective Reductions of Mealy Machines
|
Florian Renkin, Philipp Schlehuber-Caissier, Alexandre Duret-Lutz, Adrien Pommellet
|
Proceedings of the 42nd International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE'22)
|
26 April 2022
|
| paviot.22.forte
|
LTL under reductions with weaker conditions than stutter invariance
|
Emmanuel Paviot-Adet, Denis Poitrenaud, Etienne Renault, Yann Thierry-Mieg
|
Proceedings of the 41th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE'22)
|
18 April 2022
|
| esteban.22.icpr
|
Estimation of the noise level function for color images using mathematical morphology and non-parametric statistics
|
Baptiste Esteban, Guillaume Tochon, Edwin Carlinet, Didier Verna
|
Proceedings of the 26th International Conference on Pattern Recognition
|
8 April 2022
|
| abadie.22.das
|
A Benchmark of Named Entity Recognition Approaches in Historical Documents
|
Nathalie Abadie, Edwin Carlinet, Joseph Chazalon, Bertrand Duménieu
|
Proceedings of the 15th IAPR International Workshop on Document Analysis System
|
7 April 2022
|
| veyrin-forrer.22.egc
|
Qu'est-ce que mon GNN capture vraiment ? Exploration des représentations internes d'un GNN
|
Luca Veyrin-Forrer, Ataollah Kamal, Stefan Duffner, Marc Plantevit, Céline Robardet
|
Extraction et Gestion des Connaissances, EGC 2022Blois, France, 24 au 28 janvier 2022
|
24 March 2022
|
| verna.22.els
|
ETAP: Experimental Typesetting Algorithms Platform
|
Didier Verna
|
15th European Lisp Symposium
|
1 March 2022
|
| casares.22.tacas
|
Practical Applications of the Alternating Cycle Decomposition
|
Antonio Casares, Alexandre Duret-Lutz, Klara J Meyer, Florian Renkin, Salomon Sickert
|
Proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'22)
|
1 February 2022
|
| mandel.22.aghm
|
GenIDA, une base de données participative internationale permettant de mieux connaître l'histoire naturelle et les comorbidités des formes génétiques de troubles neurodéveloppementaux
|
J-L Mandel, P Burger, A Strehle, F Colin, T Mazzucotelli, N Collot, S Baer, B Durand, A Piton, R Coutelle, E Schaefer, P Parrend, L Faivre, K Jobard Garou, D Geneviève, V Ruault, D Martin, CaumesR., T Smol, J Ghoumid, F Ropert Conquer, J Kummeling, C Ockeloen, T Kleefstra, D Koolen
|
Assises de Génétique Humaine et Médicale
|
1 February 2022
|
| remil.22.egc
|
Découverte de sous-groupes de prédictions interprétables pour le triage d'incidents
|
Youcef Remil, Anes Bendimerad, Marc Plantevit, Céline Robardet, Mehdi Kaytoue
|
Extraction et Gestion des Connaissances, EGC 2022Blois, France, 24 au 28 janvier 2022
|
24 January 2022
|
| guillaume.22.egc
|
Hate Speech and Toxic Comment Detection using Transformers
|
Pierre Guillaume, Corentin Duchene, Réda Dehak
|
Workshop EGC 2022 DL for NLP
|
12 January 2022
|
| el-madhoun.22.aina
|
New Security Protocols for Offline Point-of-Sale Machines
|
Nour El Madhoun, Emmanuel Bertin, Mohamad Badra, Guy Pujolle
|
36th International Conference on Advanced Information Networking and Applications (AINA)
|
1 January 2022
|
| boutry.22.dgmm
|
Gradient Vector Fields of Discrete Morse Functions and Watershed-Cuts
|
Nicolas Boutry, Laurent Najman, Gilles Bertrand
|
Proceedings of the IAPR International Conference on Discrete Geometry and Mathematical Morphology (DGMM)
|
31 December 2021
|
| boutry.21.miccai
|
Residual 3D U-Net with Localization for Brain Tumor Segmentation
|
Marc Demoustier, Ines Khemir, Lucien Martin-Gaffé, Nicolas Boutry, Quoc Duon Nguyen
|
International MICCAI Brainlesion Workshop
|
31 December 2021
|
| movn.21.bmvc
|
Introducing the Boundary-Aware Loss for Deep Image Segmentation
|
Minh Ôn Vũ Ngoc, Yizi Chen, Joseph Chazalon, Edwin Carlinet, Jonathan Fabrizio, Clément Mallet, Thierry Géraud, Nicolas Boutry
|
Proceedings of the 32nd British Machine Vision Conference (BMVC)
|
28 November 2021
|
| raymon.21.urai
|
VizNN: Visual Data Augmentation with Convolutional Neural Networks for Cybersecurity Investigation
|
A Raymond, B Brument, P Parrend
|
Upper-Rhine Artificial Intelligence Symposium
|
1 October 2021
|
| rida.21.cn
|
Evaluation of Anomaly Detection for Cybersecurity Using Inductive Node Embedding with Convolutional Graph Neural Networks
|
A Abou Rida, P Parrend, R Amhaz
|
Complex Network 2021
|
1 October 2021
|
| el-madhoune.21.csnet
|
A Secure Blockchain-Based Architecture for the COVID-19 Data Network
|
Darine Al-Mohtar, Amani Ramzi Daou, Nour El Madhoun, Rachad Maallawi
|
2021 5th Cyber Security in Networking Conference (CSNet)
|
1 October 2021
|
| kheireddine.21.cp
|
Towards Better Heuristics for Solving Bounded Model Checking Problems
|
Anissa Kheireddine, Étienne Renault, Souheib Baarir
|
Proceedings of the 27th International Conference on Principles and Practice of Constraint Programmings (CP'21)
|
31 August 2021
|
| kirszenberg.21.spin
|
Go2Pins: A Framework for the LTL Verification of Go Programs
|
Alexandre Kirszenberg, Antoine Martin, Hugo Moreau, Etienne Renault
|
Proceedings of the 27th International SPIN Symposium on Model Checking of Software (SPIN'21)
|
8 June 2021
|
| chazalon.21.icdar.1
|
Revisiting the Coco Panoptic Metric to Enable Visual and Qualitative Analysis of Historical Map Instance Segmentation
|
Joseph Chazalon, Edwin Carlinet
|
Proceedings of the 16th International Conference on Document Analysis and Recognition (ICDAR'21)
|
17 May 2021
|
| chazalon.21.icdar.2
|
ICDAR 2021 Competition on Historical Map Segmentation
|
Joseph Chazalon, Edwin Carlinet, Yizi Chen, Julien Perret, Bertrand Duménieu, Clément Mallet, Thierry Géraud, Vincent Nguyen, Nam Nguyen, Josef Baloun, Ladislav Lenc, Pavel Král
|
Proceedings of the 16th International Conference on Document Analysis and Recognition (ICDAR'21)
|
17 May 2021
|
| chen.21.icdar
|
Vectorization of Historical Maps Using Deep Edge Filtering and Closed Shape Extraction
|
Yizi Chen, Edwin Carlinet, Joseph Chazalon, Clément Mallet, Bertrand Duménieu, Julien Perret
|
Proceedings of the 16th International Conference on Document Analysis and Recognition (ICDAR'21)
|
17 May 2021
|
| estopinan.21.eusipco
|
Learning Sentinel-2 Spectral Dynamics for Long-Run Predictions Using Residual Neural Networks
|
Joaquim Estopinan, Guillaume Tochon, Lucas Drumetz
|
Proceedings of the 29th European Signal Processing Conference (EUSIPCO)
|
4 May 2021
|
| hacquard.21.els
|
A Corpus Processing and Analysis Pipeline for Quickref
|
Antoine Hacquard, Didier Verna
|
Proceedings of the 14th European Lisp Symposium (ELS)
|
1 May 2021
|
| newton.21.els
|
A Portable, Simple, Embeddable Type System
|
Jim Newton, Adrien Pommellet
|
Proceedings of the 14th European Lisp Symposium (ELS)
|
26 April 2021
|
| maldonado-ruiz.21.ifip
|
An Innovative and Decentralized Identity Framework Based on Blockchain Technology
|
Daniel Maldonado-Ruiz, Jenny Torres, El MadhounNour, Mohamad Badra
|
2021 11th IFIP International Conference on New Technologies, Mobility and Security (NTMS)
|
1 April 2021
|
| boutry.21.dgmm.1
|
An Equivalence Relation between Morphological Dynamics and Persistent Homology in n-D
|
Nicolas Boutry, Thierry Géraud, Laurent Najman
|
Proceedings of the IAPR International Conference on Discrete Geometry and Mathematical Morphology (DGMM)
|
2 March 2021
|
