Difference between revisions of "Conference papers"

From LRDE

(Created page with "{{#ask: Category:Publications Publication type::inproceedings | ?Has author = Authors | ?Has title = Title | ?Published in | ?News date#MEDIAWIKI=Date | order = descen...")
 
Line 1: Line 1:
{{#ask: [[Category:Publications]] [[Publication type::inproceedings]]
+
{{#ask: [[Category:Publications]] [[Publication type::inproceedings]] [[Published has news::true]]
 
| ?Has author = Authors
 
| ?Has author = Authors
 
| ?Has title = Title
 
| ?Has title = Title

Revision as of 11:08, 7 March 2014

 AuthorsTitlePublished inDate
Forecasting Electricity Prices: An Optimize Then Predict-Based ApproachLéonard Tschora
Erwan Pierre
Marc Plantevit
Céline Robardet
Forecasting Electricity Prices: An Optimize Then Predict-Based ApproachAdvances in Intelligent Data Analysis XXI10 April 2023
Optimization of the Product Configuration System of RenaultHao Xu
Souheib Baarir
Tewfik Ziadi
Siham EssodaiguiYves Bossu
Lom Messan Hillah
Optimization of the Product Configuration System of RenaultSAC '23: The 38th ACM/SIGAPP Symposium on Applied Computing3 April 2023
A Myhill-Nerode Theorem for Higher-Dimensional AutomataUli Fahrenberg
Krzysztof Ziemiański
A Myhill-Nerode Theorem for Higher-Dimensional AutomataApplication and Theory of Petri Nets and Concurrency (PETRI NETS)5 March 2023
Learning Diversity Attributes in Multi-Session RecommendationsNassim Bouarour
Idir Benouaret
Amer-YahiaSihem
Learning Diversity Attributes in Multi-Session Recommendations2022 IEEE International Conference on Big Data (Big Data)12 December 2022
Trie-based Output Itemset SamplingLamine Diop
Cheikh Talibouya Diop
Dominique Li
Arnaud Soulet
GiacomettiArnaud
Trie-based Output Itemset Sampling2022 IEEE International Conference on Big Data (Big Data)12 December 2022
Tuning SAT Solvers for LTL Model CheckingAnissa Kheireddine
Étienne Renault
Souheib Baarir
Tuning SAT Solvers for LTL Model CheckingProceedings of the 29th Asia-Pacific Software Engineering Conference (APSEC'22)9 December 2022
Diversifying a Parallel SAT Solver with Bayesian Moment MatchingV Vallade
S Nejati
J Sopena
V Ganesh
S Baarir
Diversifying a Parallel SAT Solver with Bayesian Moment MatchingSymposium on Dependable Software Engineering TheoriesTools and Applications8 December 2022
Energy Problems in Finite and Timed Automata with Büchi ConditionsSven Dziadek
Uli Fahrenberg
Philipp Schlehuber-Caissier
Energy Problems in Finite and Timed Automata with Büchi ConditionsInternational Symposium on Formal Methods (FM)8 December 2022
CosySEL: Improving SAT Solving Using Local SymmetriesS Saouli
S Baarir
C Dutheillet
J Devriendt
CosySEL: Improving SAT Solving Using Local Symmetries24th International Conference on Verification, Model Checking, and Abstract Interpretation8 December 2022
Topology-Aware Method to Segment 3D Plan Tissue ImagesMinh Ôn Vũ Ngoc
Nicolas Boutry
Jonathan Fabrizio
Topology-Aware Method to Segment 3D Plan Tissue Images36th Conference on Neural Information Processing SystemsAI for Science Workshop25 October 2022
The Cost of Dynamism in Static Languages for Image ProcessingBaptiste Esteban
Edwin Carlinet
Guillaume Tochon
Didier Verna
The Cost of Dynamism in Static Languages for Image ProcessingProceedings of the 21st International Conference on Generative Programming: Concepts & Experiences (GPCE 2022)10 October 2022
A Modern C++ Point of View of Programming in Image ProcessingMichaël Roynard
Edwin Carlinet
Thierry Géraud
A Modern C++ Point of View of Programming in Image ProcessingProceedings of the 21st International Conference on Generative Programming: Concepts & Experiences (GPCE 2022)10 October 2022
Multi-purpose Tactile Perception Based on Deep Learning in a New Tendon-driven Optical Tactile SensorZhou Zhao
Zhenyu Lu
Multi-purpose Tactile Perception Based on Deep Learning in a New Tendon-driven Optical Tactile Sensor2022 IEEE/RSJ International Conference on Intelligent Robots and Systems1 October 2022
Discovering and Visualizing Tactics in Table Tennis Games Based on Subgroup DiscoveryPierre Duluard
Xinqing Li
Marc Plantevit
Céline Robardet
Romain Vuillemot
Discovering and Visualizing Tactics in Table Tennis Games Based on Subgroup DiscoveryMachine Learning and Data Mining for Sports Analytics - 9th International Workshop, MLSA 202219 September 2022
Improving the Quality of Rule-Based GNN ExplanationsAtaollah Kamal
Elouan Vincent
Marc Plantevit
Céline Robardet
Improving the Quality of Rule-Based GNN ExplanationsWorkshop 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 I12 September 2022
A Kleene Theorem for Higher-Dimensional AutomataUli Fahrenberg
Christian Johansen
Georg Struth
Krzysztof Ziemiański
A Kleene Theorem for Higher-Dimensional Automata33rd International Conference on Concurrency Theory (CONCUR 2022)6 September 2022
Comparing Use-Cases of Tree-Fold vs Fold-Left, How to Fold and Color a MapJim NewtonComparing Use-Cases of Tree-Fold vs Fold-Left, How to Fold and Color a MapSymposium on Implementation and Application of Functional Languages31 August 2022
Label-Efficient Self-Supervised Speaker Verification With Information Maximization and Contrastive LearningThéo Lepage
Réda Dehak
Label-Efficient Self-Supervised Speaker Verification With Information Maximization and Contrastive LearningProc. Interspeech 202228 August 2022
What Does my GNN Really Capture? On Exploring Internal GNN RepresentationsLuca Veyrin-Forrer
Ataollah Kamal
Stefan Duffner
Marc Plantevit
Céline Robardet
What Does my GNN Really Capture? On Exploring Internal GNN RepresentationsInternational Joint Conference on Artificial Intelligence 202223 July 2022
On Robustness for the Skolem and Positivity ProblemsS Akshay
Hugo Bazille
Blaise Genest
Mihir Vahanwala
On Robustness for the Skolem and Positivity Problems39th International Symposium on Theoretical Aspects of Computer Science STACS7 July 2022
Estimation de la fonction de niveau de bruit pour des images couleurs en utilisant la morphologie mathématiqueBaptiste Esteban
Guillaume Tochon
Edwin Carlinet
Didier Verna
Estimation de la fonction de niveau de bruit pour des images couleurs en utilisant la morphologie mathématique28e Colloque sur le traitement du signal et des images15 June 2022
Généricité dynamique pour des algorithmes morphologiquesBaptiste Esteban
Edwin Carlinet
Guillaume Tochon
Didier Verna
Généricité dynamique pour des algorithmes morphologiques28e Colloque sur le traitement du signal et des images15 June 2022
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
From Spot 2.0 to Spot 2.10: What's New?Proceedings of the 34th International Conference on Computer Aided Verification (CAV'22)6 June 2022
Effective Reductions of Mealy MachinesFlorian Renkin
Philipp Schlehuber-Caissier
Alexandre Duret-Lutz
Adrien Pommellet
Effective Reductions of Mealy MachinesProceedings of the 42nd International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE'22)26 April 2022
LTL under reductions with weaker conditions than stutter invarianceEmmanuel Paviot-Adet
Denis Poitrenaud
Etienne Renault
Yann Thierry-Mieg
LTL under reductions with weaker conditions than stutter invarianceProceedings of the 41th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE'22)18 April 2022
Estimation of the noise level function for color images using mathematical morphology and non-parametric statisticsBaptiste Esteban
Guillaume Tochon
Edwin Carlinet
Didier Verna
Estimation of the noise level function for color images using mathematical morphology and non-parametric statisticsProceedings of the 26th International Conference on Pattern Recognition8 April 2022
A Benchmark of Named Entity Recognition Approaches in Historical DocumentsNathalie Abadie
Edwin Carlinet
Joseph Chazalon
Bertrand Duménieu
A Benchmark of Named Entity Recognition Approaches in Historical DocumentsProceedings of the 15th IAPR International Workshop on Document Analysis System7 April 2022
Qu'est-ce que mon GNN capture vraiment ? Exploration des représentations internes d'un GNNLuca Veyrin-Forrer
Ataollah Kamal
Stefan Duffner
Marc Plantevit
Céline Robardet
Qu'est-ce que mon GNN capture vraiment ? Exploration des représentations internes d'un GNNExtraction et Gestion des Connaissances, EGC 2022Blois, France, 24 au 28 janvier 202224 March 2022
ETAP: Experimental Typesetting Algorithms PlatformDidier VernaETAP: Experimental Typesetting Algorithms Platform15th European Lisp Symposium1 March 2022
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éveloppementauxJ-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
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éveloppementauxAssises de Génétique Humaine et Médicale1 February 2022
Practical Applications of the Alternating Cycle DecompositionAntonio Casares
Alexandre Duret-Lutz
Klara J Meyer
Florian Renkin
Salomon Sickert
Practical Applications of the Alternating Cycle DecompositionProceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'22)1 February 2022
Découverte de sous-groupes de prédictions interprétables pour le triage d'incidentsYoucef Remil
Anes Bendimerad
Marc Plantevit
Céline Robardet
Mehdi Kaytoue
Découverte de sous-groupes de prédictions interprétables pour le triage d'incidentsExtraction et Gestion des Connaissances, EGC 2022Blois, France, 24 au 28 janvier 202224 January 2022
Hate Speech and Toxic Comment Detection using TransformersPierre Guillaume
Corentin Duchene
Reda Dehak
Hate Speech and Toxic Comment Detection using TransformersWorkshop EGC 2022 DL for NLP12 January 2022
New Security Protocols for Offline Point-of-Sale MachinesNour El Madhoun
Emmanuel Bertin
Mohamad Badra
Guy Pujolle
New Security Protocols for Offline Point-of-Sale Machines36th International Conference on Advanced Information Networking and Applications (AINA)1 January 2022
Residual 3D U-Net with Localization for Brain Tumor SegmentationMarc Demoustier
Ines Khemir
Lucien Martin-Gaffé
Nicolas Boutry
Quoc Duon Nguyen
Residual 3D U-Net with Localization for Brain Tumor SegmentationInternational MICCAI Brainlesion Workshop31 December 2021
Gradient Vector Fields of Discrete Morse Functions and Watershed-CutsNicolas Boutry
Laurent Najman
Gilles Bertrand
Gradient Vector Fields of Discrete Morse Functions and Watershed-CutsProceedings of the IAPR International Conference on Discrete Geometry and Mathematical Morphology (DGMM)31 December 2021
Introducing the Boundary-Aware Loss for Deep Image SegmentationMinh Ôn Vũ Ngoc
Yizi Chen
Joseph Chazalon
Edwin Carlinet
Jonathan Fabrizio
Clément Mallet
Thierry Géraud
Nicolas Boutry
Introducing the Boundary-Aware Loss for Deep Image SegmentationProceedings of the 32nd British Machine Vision Conference (BMVC)28 November 2021
VizNN: Visual Data Augmentation with Convolutional Neural Networks for Cybersecurity InvestigationA Raymond
B Brument
P Parrend
VizNN: Visual Data Augmentation with Convolutional Neural Networks for Cybersecurity InvestigationUpper-Rhine Artificial Intelligence Symposium1 October 2021
Evaluation of Anomaly Detection for Cybersecurity Using Inductive Node Embedding with Convolutional Graph Neural NetworksA Abou Rida
P Parrend
R Amhaz
Evaluation of Anomaly Detection for Cybersecurity Using Inductive Node Embedding with Convolutional Graph Neural NetworksComplex Network 20211 October 2021
A Secure Blockchain-Based Architecture for the COVID-19 Data NetworkDarine Al-Mohtar
Amani Ramzi Daou
Nour El Madhoun
Rachad Maallawi
A Secure Blockchain-Based Architecture for the COVID-19 Data Network2021 5th Cyber Security in Networking Conference (CSNet)1 October 2021
Towards Better Heuristics for Solving Bounded Model Checking ProblemsAnissa Kheireddine
Étienne Renault
Souheib Baarir
Towards Better Heuristics for Solving Bounded Model Checking ProblemsProceedings of the 27th International Conference on Principles and Practice of Constraint Programmings (CP'21)31 August 2021
Go2Pins: A Framework for the LTL Verification of Go ProgramsAlexandre Kirszenberg
Antoine Martin
Hugo Moreau
Etienne Renault
Go2Pins: A Framework for the LTL Verification of Go ProgramsProceedings of the 27th International SPIN Symposium on Model Checking of Software (SPIN'21)8 June 2021
Vectorization of Historical Maps Using Deep Edge Filtering and Closed Shape ExtractionYizi Chen
Edwin Carlinet
Joseph Chazalon
Clément Mallet
Bertrand Duménieu
Julien Perret
Vectorization of Historical Maps Using Deep Edge Filtering and Closed Shape ExtractionProceedings of the 16th International Conference on Document Analysis and Recognition (ICDAR'21)17 May 2021
Revisiting the Coco Panoptic Metric to Enable Visual and Qualitative Analysis of Historical Map Instance SegmentationJoseph Chazalon
Edwin Carlinet
Revisiting the Coco Panoptic Metric to Enable Visual and Qualitative Analysis of Historical Map Instance SegmentationProceedings of the 16th International Conference on Document Analysis and Recognition (ICDAR'21)17 May 2021
ICDAR 2021 Competition on Historical Map SegmentationJoseph 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
ICDAR 2021 Competition on Historical Map SegmentationProceedings of the 16th International Conference on Document Analysis and Recognition (ICDAR'21)17 May 2021
Learning Sentinel-2 Spectral Dynamics for Long-Run Predictions Using Residual Neural NetworksJoaquim Estopinan
Guillaume Tochon
Lucas Drumetz
Learning Sentinel-2 Spectral Dynamics for Long-Run Predictions Using Residual Neural NetworksProceedings of the 29th European Signal Processing Conference (EUSIPCO)4 May 2021
A Corpus Processing and Analysis Pipeline for QuickrefAntoine Hacquard
Didier Verna
A Corpus Processing and Analysis Pipeline for QuickrefProceedings of the 14th European Lisp Symposium (ELS)1 May 2021
A Portable, Simple, Embeddable Type SystemJim Newton
Adrien Pommellet
A Portable, Simple, Embeddable Type SystemProceedings of the 14th European Lisp Symposium (ELS)26 April 2021
An Innovative and Decentralized Identity Framework Based on Blockchain TechnologyDaniel Maldonado-Ruiz
Jenny Torres
El MadhounNour
Mohamad Badra
An Innovative and Decentralized Identity Framework Based on Blockchain Technology2021 11th IFIP International Conference on New Technologies, Mobility and Security (NTMS)1 April 2021
Stability of the Tree of Shapes to Additive NoiseNicolas Boutry
Guillaume Tochon
Stability of the Tree of Shapes to Additive NoiseProceedings of the IAPR International Conference on Discrete Geometry and Mathematical Morphology (DGMM)2 March 2021
... further results