|
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
|
Xu.23.iceccs
|
An Experience Report on the Optimization of the Product Configuration System of Renault
|
Hao Xu, Souheib Baarir, Tewfik Ziadi, Siham EssodaiguiYves Bossu, Lom Messan Hillah
|
26th International Conference on Engineering of Complex Computer Systems
|
3 April 2023
|
chen.23.phd
|
Modern vectorization and alignement of historical maps: An application to Paris atlas (1789-1950)
|
Yizi Chen
|
|
22 March 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
|
fahrenberg.23.alguniv
|
Catoids and Modal Convolution Algebras
|
Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemiański
|
Algebra Universalis
|
5 March 2023
|
boutry.23.jmiv
|
Discrete Morse Functions and Watersheds
|
Gilles Bertrand, Nicolas Boutry, Laurent Najman
|
Journal of Mathematical Imaging and Vision (Special Edition)
|
1 January 2023
|
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
|
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
|
iferroudjene.22.dami
|
Methods for Explaining Top-N Recommendations Through Subgroup Discovery
|
Mouloud Iferroudjene, Corentin Lonjarret, Céline Robardet, Marc Plantevit, AtzmuellerMartin
|
Data Mining and Knowledge Discovery
|
10 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
|
kheireddine.22.constraints
|
Towards Better Heuristics for Solving Bounded Model Checking Problems
|
Anissa Kheireddine, Étienne Renault, Souheib Baarir
|
Constraints
|
9 December 2022
|
renault.22.sttt
|
Go2Pins: A framework for the LTL verification of Go programs (Extended Version)
|
Etienne Renault, Alexandre Kirszenberg, Antoine Martin, Hugo Moreau
|
International Journal on Software Tools for Technology Transfer (STTT)
|
9 December 2022
|
abate.22.lites
|
Introduction to the Special Issue on Distributed Hybrid Systems
|
Alessandro Abate, Uli Fahrenberg, FränzleMartin
|
Leibniz Transactions on Embedded Systems
|
8 December 2022
|
fahrenberg.22.lites
|
Higher-Dimensional Timed and Hybrid Automata
|
Uli Fahrenberg
|
Leibniz Transactions on Embedded Systems
|
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
|
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
|
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
|
movn.22.pr
|
The Dahu Graph-Cut for Interactive Segmentation on 2D/3D Images
|
Minh Ôn Vũ Ngoc, Edwin Carlinet, Jonathan Fabrizio, Thierry Géraud
|
Pattern Recognition
|
3 December 2022
|
fahrenberg.22.scp
|
Featured Games
|
Uli Fahrenberg, Axel Legay
|
Science of Computer Programming
|
1 November 2022
|
veyrin-forrer.22.dke
|
In Pursuit of the Hidden Features of GNN's Internal Representations
|
Luca Veyrin-Forrer, Ataollah Kamal, Stefan Duffner, Marc Plantevit, Céline Robardet
|
Data & Knowledge Engineering
|
26 October 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
|
veyrin-forrer.22.dami
|
On GNN Explainability with Activation Rules
|
Luca Veyrin-Forrer, Ataollah Kamal, Marc Plantevit, Céline Robardet, DuffnerStefan
|
Data Mining and Knowledge Discovery
|
20 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
|
moranges.22.taffc
|
Using subgroup discovery to relate odor pleasantness and intensity to peripheral nervous system reactions
|
Maelle Moranges, Marc Plantevit, Moustafa Bensafi
|
IEEE Transactions on Affective Computing
|
24 July 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
|
droste.22.iandc
|
Greibach normal form for ω-algebraic systems and weighted simple ω-pushdown automata
|
Manfred Droste, Sven Dziadek, Werner Kuich
|
Information and Computation
|
30 June 2022
|
fahrenberg.22.iandc
|
Posets With Interfaces as a Model for Concurrency
|
Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemiański
|
Information and Computation
|
30 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
|
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
|
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
|
boutry.22.jmiv.2
|
Some Equivalence Relation between Persistent Homology and Morphological Dynamics
|
Nicolas Boutry, Laurent Najman, Thierry Géraud
|
Journal of Mathematical Imaging and Vision
|
17 May 2022
|
or.22.transparence
|
Données, Transparence et Démocratie
|
Olivier Ricou
|
|
1 May 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
|
hermary.22.jmiv
|
Learning Grayscale Mathematical Morphology with Smooth Morphological Layers
|
Romain Hermary, Guillaume Tochon, Élodie Puybareau, Alexandre Kirszenberg, Jesús Angulo
|
Journal of Mathematical Imaging and Vision
|
4 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
|
shi.21.itip
|
Local Intensity Order Transformation for Robust Curvilinear Object Segmentation
|
Tianyi Shi, Nicolas Boutry, Yongchao Xu, Thierry Géraud
|
IEEE Transactions on Image Processing
|
22 March 2022
|
tschora.22.apen
|
Electricity Price Forecasting on the Day-Ahead Market using Machine Learning
|
Léonard Tschora, Erwan Pierre, Marc Plantevit, Céline Robardet
|
Applied Energy
|
10 March 2022
|
blin.22.tpds
|
Max-Tree Computation on GPUs
|
Nicolas Blin, Edwin Carlinet, Florian Lemaitre, Lionel Lacassagne, Thierry Géraud
|
IEEE Transactions on Parallel and Distributed Systems
|
9 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
|
mehta.22.melba
|
QU-BraTS: MICCAI BraTS 2020 Challenge on Quantifying Uncertainty in Brain Tumor Segmentation — Analysis of Ranking Scores and Benchmarking Results
|
Raghav Mehta, Angelos Filos, Ujjwal Baid, Chiharu Sako, Richard McKinley, Michael Rebsamen, Katrin Dätwyler, Raphael Meier, Piotr Radojewski, Gowtham Krishnan Murugesan, Sahil Nalawade, Chandan Ganesh, Ben Wagner, YuFang F., Baowei Fei, Ananth J Madhuranthakam, Joseph A Maldjian, Laura Daza, GómezCatalina, Pablo Arbeláez, Chengliang Dai, Shuo Wang, Hadrien Reynaud, Yuanhan Mo, Elsa Angelini, Yike Guo, Wenjia Bai, BanerjeeSubhashis, Linmin Pei, Murat AK, Sarahi Rosas-González, Ilyess Zemmoura, Clovis Tauber, Minh Hoang Vu, Tufve Nyholm, Tommy Löfstedt, Laura Mora Ballestar, Veronica Vilaplana, Hugh McHugh, Gonzalo Maso Talou, Alan Wang, Jay Patel, Ken Chang, Katharina Hoebel, Mishka Gidwani, Nishanth Arun, Sharut Gupta, Mehak Aggarwal, Praveer Singh, Elizabeth R Gerstner, Jayashree Kalpathy-Cramer, Nicolas Boutry, Alexis Huard, VidyaratneLasitha, Md Monibor Rahman, Khan M Iftekharuddin, Joseph Chazalon, Elodie Puybareau, TochonGuillaume, Jun Ma, Mariano Cabezas, LladoXavier, Arnau Oliver, Liliana Valencia, Sergi Valverde, Mehdi Amian, SoltaninejadMohammadreza, Andriy Myronenko, Ali Hatamizadeh, Xue Feng, Quan Dou, Nicholas Tustison, MeyerCraig, Nisarg A Shah, Sanjay Talbar, WeberMarc-André, Abhishek Mahajan, Andras Jakab, Roland Wiest, Hassan M Fathallah-Shaykh, Arash Nazeri, Mikhail Milchenko, Daniel Marcus, Aikaterini Kotrotsou, Rivka Colen, John Freymann, Justin Kirby, Christos Davatzikos, MenzeBjoern, Spyridon Bakas, Yarin Gal, Tal Arbel
|
Journal of Machine Learning for Biomedical Imaging (MELBA)
|
9 January 2022
|
avanthey.22.rs
|
How to Boost Close-Range Remote Sensing Courses Using a Serious Game: Uncover in a Fun Way the Complexity and Transversality of Multi-Domain Field Acquisitions
|
Loïca Avanthey, Laurent Beaudoin
|
Remote Sensing
|
1 January 2022
|
rida.22.raccisc
|
Anomaly Detection on Static and Dynamic Graphs using Graph Convolutional Neural Networks
|
A Abou Rida, R Amhaz, P Parrend
|
Robotics and AI for Cybersecurity and Critical Infrastructure in Smart Cities
|
1 January 2022
|
maldonado-ruiz.22.ieee
|
Current Trends in Blockchain Implementations on the Paradigm of Public Key Infrastructure: A Survey
|
Daniel Maldonado-Ruiz, Jenny Torres, El MadhounNour, Mohamad Badra
|
IEEE Access
|
1 January 2022
|
beaudoin.22.eit
|
How to help digital-native students to successfully take control of their learning : A return of 8 years of experience on a computer science e-learning platform in higher education
|
Laurent Beaudoin, Loïca Avanthey
|
|
1 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
|
beaudoin.22.jmse
|
Automatically Guided Selection of a Set of Underwater Calibration Images
|
Laurent Beaudoin, Loïca Avanthey, Charles Villard, BunelCorentin
|
|
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
|
randrianasoa.21.softx
|
AGAT: Building and Evaluating Binary Partition Trees for Image Segmentation
|
Jimmy Francky Randrianasoa, Camille Kurtz, Éric Desjardin, Nicolas Passat
|
SoftwareX
|
17 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
|
boutry.21.joco
|
Strong Euler Wellcomposedness
|
Nicolas Boutry, Rocio Gonzalez-Diaz, Maria-Jose Jimenez, Eduardo Paluzo-Hildago
|
Journal of Combinatorial Optimization
|
23 November 2021
|
boutry.21.jmiv
|
Continuous Well-Composedness implies Digital Well-Composedness in n-D
|
Nicolas Boutry, Rocio Gonzalez-Diaz, Laurent Najman, Thierry Géraud
|
Journal of Mathematical Imaging and Vision
|
9 November 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
|
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
|
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
|
sekuboyina.21.media
|
VerSe: A Vertebrae Labelling and Segmentation Benchmark for Multi-detector CT Images
|
Anjany Sekuboyina, Malek E Husseini, Amirhossein Bayat, Maximilian Löffler, Hans Liebl, Hongwei Li, Giles Tetteh, Jan Kukačka, Christian Payer, Darko Stern, Martin Urschler, Maodong Chen, Dalong Cheng, Nikolas Lessmann, Yujin Hu, Tianfu Wang, Dong Yang, Daguang Xu, and Felix Ambellan, Tamaz Amiranashvili, Moritz Ehlke, Hans Lamecker, Sebastian Lehnert, Marilia Lirio, Nicolás Pérez de Olaguer, Heiko Ramm, Manish Sahu, Alexander Tack, Stefan Zachow, Tao Jiang, Xinjun Ma, Christoph Angerman, Xin Wang, Kevin Brown, Matthias Wolf, Alexandre Kirszenberg, Élodie Puybareau, Di Chen, Yiwei Bai, Brandon H Rapazzo, Timyoas Yeah, Amber Zhang, Shangliang Xu, Feng Houa, Zhiqiang He, Chan Zeng, Zheng Xiangshang, Xu Liming, Tucker J Netherton, Raymond P Mumme, Laurence E Court, Zixun Huang, Chenhang He, Li-Wen Wang, Sai Ho Ling, Lê Duy Huỳnh, Nicolas Boutry, Roman Jakubicek, Jiri Chmelik, Supriti Mulay, Mohanasankar Sivaprakasam, Johannes C Paetzold, Suprosanna Shit, Ivan Ezhov, Benedikt Wiestler, Ben Glocker, Alexander Valentinitsch, Markus Rempfler, Björn H Menze, Jan S Kirschke
|
Medical Image Analysis
|
22 July 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
|
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
|
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
|
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
|
boutry.21.dgmm.2
|
A New Matching Algorithm between Trees of Shapes and its Application to Brain Tumor Segmentation
|
Nicolas Boutry, Thierry Géraud
|
Proceedings of the IAPR International Conference on Discrete Geometry and Mathematical Morphology (DGMM)
|
2 March 2021
|
boutry.21.dgmm.3
|
Stability of the Tree of Shapes to Additive Noise
|
Nicolas Boutry, Guillaume Tochon
|
Proceedings of the IAPR International Conference on Discrete Geometry and Mathematical Morphology (DGMM)
|
2 March 2021
|
boutry.21.media
|
Deep Learning for Detection and Segmentation of Artefact and Disease Instances in Gastrointestinal Endoscopy
|
Sharib Ali, Mariia Dmitrieva, Noha Ghatwary, Sophia Bano, Gorkem Polat, Alptekin Temizel, Adrian Krenzer, Amar Hekalo, Yun Bo Guo, Bogdan Matuszewski, Mourad Gridach, Irina Voiculescu, Vishnusai Yoganand, Arnav Chavan, Aryan Raj, Nhan T Nguyen, Dat Q Tran, Le Duy Huynh, Nicolas Boutry, Shahadate Rezvy, Haijian Chen, Yoon Ho Choi, Anand Subramanian, Velmurugan Balasubramanian, Xiaohong W Gao, Hongyu Hu, Yusheng Liao, Danail Stoyanov, Christian Daul, Stefano Realdon, Renato Cannizzaro, Dominique Lamarque, Terry Tran-Nguyen, Adam Bailey, Barbara Braden, James East, Jens Rittscher
|
Medical Image Analysis
|
24 February 2021
|
chen.21.dgmm
|
Combining Deep Learning and Mathematical Morphology for Historical Map Segmentation
|
Yizi Chen, Edwin Carlinet, Joseph Chazalon, Clément Mallet, Bertrand Duménieu, Julien Perret
|
Proceedings of the IAPR International Conference on Discrete Geometry and Mathematical Morphology (DGMM)
|
16 February 2021
|
bloch.21.dgmm
|
On Some Associations Between Mathematical Morphology and Artificial Intelligence
|
Isabelle Bloch, Samy Blusseau, Ramón Pino Pérez, Élodie Puybareau, Guillaume Tochon
|
Proceedings of the IAPR International Conference on Discrete Geometry and Mathematical Morphology (DGMM)
|
16 February 2021
|
kirszenberg.21.dgmm
|
Going beyond p-convolutions to learn grayscale morphological operators
|
Alexandre Kirszenberg, Guillaume Tochon, Élodie Puybareau, Jesus Angulo
|
Proceedings of the IAPR International Conference on Discrete Geometry and Mathematical Morphology (DGMM)
|
16 February 2021
|
espie.21.eurocon
|
Debug Packages in OpenBSD
|
Marc Espie
|
EuroBSDCon 2021
|
1 January 2021
|
christian.21.cs
|
A blockchain-based certificate revocation management and status verification system
|
Yves Christian Elloh Adja, Badis Hammi, Ahmed Serhrouchni, Sherali Zeadally
|
Computers & Security
|
1 January 2021
|
grelot.21.cesar
|
Automation of Binary Analysis: From Open Source Collection to Threat Intelligence
|
Frederic Grelot, Sébastien Larinier, SalmonMarie
|
Proceedings of the 28th C&ESAR
|
1 January 2021
|
hammi.21.ieee
|
Blockchain-Based Solution for Detecting and Preventing Fake Check Scams
|
Badis Hammi, Sherali Zeadally, Yves Christian Elloh Adja, Manlio Del Giudice, Jamel Nebhen
|
IEEE Transactions on Engineering Management
|
1 January 2021
|
nejati.20.cp
|
A Machine Learning Based Splitting Heuristic for Divide-and-Conquer Solvers
|
Saeed Nejati, Ludovic Le Frioux, Vijay Ganesh
|
Proceedings of the 26 th International Conference on Principles and Practice of Constraint Programming (CP'20)
|
31 December 2020
|
kim.20.media
|
PAIP 2019: Liver Cancer Segmentation Challenge
|
Yoo Jung Kim, Hyungjoon Jang, Kyoungbun Lee, Seongkeun Park, Sung-Gyu Min, Choyeon Hong, Jeong Hwan Park, Kanggeun Lee, Jisoo Kim, Wonjae Hong, Hyun Jung, Yanling Liu, Haran Rajkumar, Mahendra Khened, Ganapathy Krishnamurthi, Sen Yang, Xiyue Wang, Chang Hee Han, Jin Tae Kwak, Jianqiang Ma, Zhe Tang, Bahram Marami, Jack Zeineh, Zixu Zhao, Pheng-Ann Heng, Rudiger Schmitz, Frederic Madesta, Thomas Rosch, Rene Werner, Jie Tian, Matteo Bovio, Xiufeng Zhang, Yifeng Zhu, Se Young Chun, Won-Ki Jeong, Peom Park, Jinwook Choi, Élodie Puybareau
|
Medical Image Analysis
|
10 November 2020
|
xiong.20.media
|
A Global Benchmark of Algorithms for Segmenting the Left Atrium from Late Gadolinium-Enhanced Cardiac Magnetic Resonance Imaging
|
Zhaohan Xiong, Qing Xia, Zhiqiang Hu, Ning Huang, Cheng Bian, Yefeng Zheng, Sulaiman Vesal, Nishant Ravikumar, Andreas Maier, Xin Yang, Pheng-Ann Heng, Dong Ni, Caizi Li, Qianqian Tong, Weixin Si, Younes Khoudli, Thierry Géraud, Chen Chen, Wenjia Bai, Daniel Rueckert, Lingchao Xu, Xiahai Zhuang, Xinzhe Luo, Shuman Jia, Maxime Sermesant, Yashu Liu, Kuanquan Wang, Davide Borra, Alessandro Masci, Cristiana Corsi, Coen de Vente, Mitko Veta, Rashed Karim, Chandrakanth Jayachandran Preetha, Sandy Engelhardt, Menyun Qiao, Yuanyuan Wang, Qian Tao, Marta Nunez-Garcia, Oscar Camara, Nicolo Savioli, Pablo Lamata, Jichao Zhao, Élodie Puybareau
|
Medical Image Analysis
|
10 November 2020
|
zhao.20.icpr.1
|
FOANet: A Focus of Attention Network with Application to Myocardium Segmentation
|
Zhou Zhao, Nicolas Boutry, Élodie Puybareau, Thierry Géraud
|
Proceedings of the 25th International Conference on Pattern Recognition (ICPR)
|
2 November 2020
|
zhao.20.icpr.2
|
Do not Treat Boundaries and Regions Differently: An Example on Heart Left Atrial Segmentation
|
Zhou Zhao, Nicolas Boutry, Élodie Puybareau, Thierry Géraud
|
Proceedings of the 25th International Conference on Pattern Recognition (ICPR)
|
2 November 2020
|
buatois.19.brainles
|
Two Stages CNN-Based Segmentation of GliomasUncertainty Quantification and Prediction of Overall Patient Survival
|
Thibault Buatois, Élodie Puybareau, Joseph Chazalon, Guillaume Tochon
|
International MICCAI Brainlesion Workshop
|
3 September 2020
|
boutry.20.jmiv.1
|
Topological Properties of the First Non-Local Digitally Well-Composed Interpolation on n-D Cubical Grids
|
Nicolas Boutry, Laurent Najman, Thierry Géraud
|
Journal of Mathematical Imaging and Vision
|
3 September 2020
|
boutry.20.jmiv.2
|
Equivalence between Digital Well-Composedness and Well-Composedness in the Sense of Alexandrov on n-D Cubical Grids
|
Nicolas Boutry, Laurent Najman, Thierry Géraud
|
Journal of Mathematical Imaging and Vision
|
3 September 2020
|
vallade.20.nfm
|
On the Usefulness of Clause Strengthening in Parallel SAT Solving
|
Vincent Vallade, Ludovic Le Frioux, Souheib Baarir, Julien Sopena, Fabrice Kordon
|
Proceedings of the 12th NASA Formal Methods Symposium (NFM'20)
|
1 August 2020
|
boutry.20.iwcia2
|
A 4D Counter-Example Showing that DWCness Does Not Imply CWCness in n-D
|
Nicolas Boutry, Rocio Gonzalez-Diaz, Laurent Najman, Thierry Géraud
|
Combinatorial Image Analysis: Proceedings of the 20th International Workshop, IWCIA 2020, Novi Sad, Serbia, July 16–18, 2020
|
21 July 2020
|
boutry.20.iwcia1
|
Euler Well-Composedness
|
Nicolas Boutry, Rocio Gonzalez-Diaz, Maria-Jose Jimenez, Eduardo Paluzo-Hildago
|
Combinatorial Image Analysis: Proceedings of the 20th International Workshop, IWCIA 2020, Novi Sad, Serbia, July 16–18, 2020
|
21 July 2020
|
rivet.20.phd
|
Non-iterative methods for image improvement in digital holography of the retina
|
Julie Rivet
|
|
17 July 2020
|
verna.20.hdr
|
(Dynamic (Programming Paradigms)) ;; Performance and Expressivity
|
Didier Verna
|
|
10 July 2020
|
renkin.20.atva
|
Practical “Paritizing” of Emerson–Lei Automata
|
Florian Renkin, Alexandre Duret-Lutz, Adrien Pommellet
|
Proceedings of the 18th International Symposium on Automated Technology for Verification and Analysis (ATVA'20)
|
7 July 2020
|
renault.20.isse
|
Improving swarming using genetic algorithms
|
Etienne Renault
|
Innovations in Systems and Software Engineering: a NASA journal (ISSE)
|
2 June 2020
|
movn.20.cviu
|
A New Minimum Barrier Distance for Multivariate Images with Applications to Salient Object Detection, Shortest Path Finding, and Segmentation
|
Minh Ôn Vũ Ngoc, Nicolas Boutry, Jonathan Fabrizio, Thierry Géraud
|
Computer Vision and Image Understanding
|
2 June 2020
|
vallade.20.sat
|
Community and LBD-based Clause Sharing Policy for Parallel SAT Solving
|
Vincent Vallade, Ludovic Le Frioux, Souheib Baarir, Julien Sopena, Vijay Ganesh, Fabrice Kordon
|
Proceedings of the 23rd International Conference on Theory and Applications of Satisfiability Testing (SAT'20)
|
1 June 2020
|
boutry.20.brainles
|
Using Separated Inputs for Multimodal Brain Tumor Segmentation with 3D U-Net-like Architectures
|
Nicolas Boutry, Joseph Chazalon, Élodie Puybareau, Guillaume Tochon, Hugues Talbot, Thierry Géraud
|
Proceedings of the 4th International Workshop, BrainLes 2019, Held in Conjunction with MICCAI 2019
|
1 June 2020
|
pommellet.20.isse
|
LTL Model Checking for Communicating Concurrent Programs
|
Adrien Pommellet, Tayssir Touili
|
Innovations in Systems and Software Engineering: a NASA journal (ISSE)
|
15 May 2020
|
blahoudek.20.cav
|
Seminator 2 Can Complement Generalized Büchi Automata via Improved Semi-Determinization
|
František Blahoudek, Alexandre Duret-Lutz, Jan Strejček
|
Proceedings of the 32nd International Conference on Computer-Aided Verification (CAV'20)
|
14 May 2020
|
movn.20.phd
|
Improvement of a text detection chain and the proposition of a new evaluation protocol for text detection algorithms
|
Minh Ôn Vũ Ngoc
|
|
18 February 2020
|
zhao.19.stacom
|
A Two-Stage Temporal-Like Fully Convolutional Network Framework for Left Ventricle Segmentation and Quantification on MR Images
|
Zhou Zhao, Nicolas Boutry, Élodie Puybareau, Thierry Géraud
|
Statistical Atlases and Computational Models of the Heart. Multi-Sequence CMR Segmentation, CRT-EPiggy and LV Full Quantification Challenges—10th International WorkshopSTACOM 2019, Held in Conjunction with MICCAI 2019Shenzhen, China, October 13, 2019, Revised Selected Papers
|
7 February 2020
|
drumetz.20.icassp
|
Learning Endmember Dynamics in Multitemporal Hyperspectral Data using a State-Space Model Formulation
|
Lucas Drumetz, Mauro Dalla Mura, Guillaume Tochon, Ronan Fablet
|
Proceedings of the 45th IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP)
|
24 January 2020
|
atlan.20.spie
|
Experimental digital Gabor hologram rendering of C. elegans worms by a model-trained convolutional neural network (Conference Presentation)
|
Michael Atlan, Julie Rivet, Antoine Taliercio, Guillaume Tochon, Nicolas Boutry, Jean-Pierre Huignard
|
Label-free Biomedical Imaging and Sensing (LBIS) 2020
|
1 January 2020
|
zhao.19.myops
|
Stacked and parallel U-nets with multi-output for myocardial pathology segmentation
|
Zhou Zhao, Nicolas Boutry, Elodie Puybareau
|
Myocardial Pathology Segmentation Combining Multi-Sequence CMR Challenge
|
1 January 2020
|
verna.19.tug
|
Quickref: Common Lisp Reference Documentation as a Stress Test for Texinfo
|
Didier Verna
|
TUGboat
|
6 November 2019
|
huynh.19.prl
|
Connected Filters on Generalized Shape-Spaces
|
Lê Duy Huỳnh, Nicolas Boutry, Thierry Géraud
|
Pattern Recognition Letters
|
20 September 2019
|
poitrenaud.19.icfem
|
Combining Parallel Emptiness Checks with Partial Order Reductions
|
Denis Poitrenaud, Etienne Renault
|
Proceedings of the 21st International Conference on Formal Engineering Methods (ICFEM'19)
|
2 August 2019
|
baier.19.atva
|
Generic Emptiness Check for Fun and Profit
|
Christel Baier, František Blahoudek, Alexandre Duret-Lutz, Joachim Klein, David Müller, Jan Strejček
|
Proceedings of the 17th International Symposium on Automated Technology for Verification and Analysis (ATVA'19)
|
29 July 2019
|
le-frioux.19.phd
|
Towards more efficient parallel SAT solving
|
Ludovic Le Frioux
|
|
3 July 2019
|
tochon.19.pr
|
Braids of Partitions for the Hierarchical Representation and Segmentation of Multimodal Images
|
Guillaume Tochon, Mauro Dalla Mura, Miguel Angel Veganzones, Thierry Géraud, Jocelyn Chanussot
|
Pattern Recognition
|
1 July 2019
|
boutry.19.dgci
|
One More Step Towards Well-Composedness of Cell Complexes over n-D Pictures
|
Nicolas Boutry, Rocio Gonzalez-Diaz, Maria-Jose Jimenez
|
Proceedings of the 21st International Conference on Discrete Geometry for Computer Imagery (DGCI)
|
18 June 2019
|
carlinet.19.gretsi
|
Filtres connexes multivariés par fusion d'arbres de composantes
|
Edwin Carlinet, Thierry Géraud
|
Proceedings of the 27st Symposium on Signal and Image Processing (GRETSI)
|
14 June 2019
|
esteban.19.gretsi
|
Estimation du niveau de bruit par arbre des formes et statistiques non paramétriques
|
Baptiste Esteban, Guillaume Tochon, Thierry Géraud
|
Proceedings of the 27st Symposium on Signal and Image Processing (GRETSI)
|
14 June 2019
|
esteban.19.caip
|
Estimating the noise level function with the tree of shapes and non-parametric statistics
|
Baptiste Esteban, Guillaume Tochon, Thierry Géraud
|
Proceedings of the 18th International Conference on Computer Analysis of Images and Patterns (CAIP)
|
7 June 2019
|
wang.19.tmi
|
Benchmark on Automatic 6-month-old Infant Brain Segmentation Algorithms: The iSeg-2017 Challenge
|
Li Wang, Dong Nie, Guannan Li, Élodie Puybareau, Jose Dolz, Qian Zhang, Fan Wang, Jing Xia, Zhengwang Wu, Jiawei Chen, Kim-Han Thung, Toan Duc Bui, Jitae Shin, Guodong Zeng, Guoyan Zheng, Vladimir S Fonov, Andrew Doyle, Yongchao Xu, Pim Moeskops, Josien P W Pluim, Christian Desrosiers, Ismail Ben Ayed, Gerard Sanroma, Oualid M Benkarim, Adrià Casamitjana, Verónica Vilaplana, Weili Lin, Gang Li, Dinggang Shen
|
IEEE Transactions on Medical Imaging
|
11 April 2019
|
kuijf.19.tmi
|
Standardized Assessment of Automatic Segmentation of White Matter Hyperintensities: Results of the WMH Segmentation Challenge
|
H J Kuijf, J M Biesbroek, J de Bresser, R Heinen, S Andermatt, M Bento, M Berseth, M Belyaev, M J Cardoso, A Casamitjana, D L Collins, M Dadar, A Georgiou, M Ghafoorian, D Jin, A Khademi, J Knight, H Li, X Lladó, M Luna, Q Mahmood, R McKinley, A Mehrtash, S Ourselin, B Park, H Park, S H Park, S Pezold, L Rittner, C H Sudre, S Valverde, V Vilaplana, R Wiest, Z Xu, G Zeng, J Zhang, G Zheng, C Chen, W van der Flier, F Barkhof, M A Viergever, G J Biessels, Élodie Puybareau, Yongchao Xu
|
IEEE Transactions on Medical Imaging
|
10 April 2019
|
bloemen.19.sttt
|
Model checking with generalized Rabin and Fin-less automata
|
Vincent Bloemen, Alexandre Duret-Lutz, Jaco van de Pol
|
International Journal on Software Tools for Technology Transfer
|
1 April 2019
|
verna.19.els
|
Parallelizing Quickref
|
Didier Verna
|
12th European Lisp Symposium
|
1 April 2019
|
valais.19.els
|
Implementing Baker's SUBTYPEP decision procedure
|
Léo Valais, Jim Newton, Didier Verna
|
12th European Lisp Symposium
|
1 April 2019
|
carlinet.19.ismm
|
Introducing Multivariate Connected Openings and Closings
|
Edwin Carlinet, Thierry Géraud
|
Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 14th International Symposium on Mathematical Morphology (ISMM)
|
13 March 2019
|
puybareau.19.ismm
|
Spherical fluorescent particle segmentation and tracking in 3D confocal microscopy
|
Élodie Puybareau, Edwin Carlinet, Alessandro Benfenati, Hugues Talbot
|
Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 14th International Symposium on Mathematical Morphology (ISMM)
|
13 March 2019
|
boutry.19.ismm
|
An Equivalence Relation between Morphological Dynamics and Persistent Homology in 1D
|
Nicolas Boutry, Thierry Géraud, Laurent Najman
|
Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 14th International Symposium on Mathematical Morphology (ISMM)
|
13 March 2019
|
tochon.19.ismm
|
Constructing a braid of partitions from hierarchies of partitions
|
Guillaume Tochon, Mauro Dalla Mura, Jocelyn Chanussot
|
Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 14th International Symposium on Mathematical Morphology (ISMM)
|
13 March 2019
|
le-frioux.19.tacas
|
Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless Framework
|
Ludovic Le Frioux, Souheib Baarir, Julien Sopena, Fabrice Kordon
|
Proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'19)
|
13 February 2019
|
boutry.19.jmiv
|
How to Make n-D Plain Maps Alexandrov-Well-Composed in a Self-dual Way
|
Nicolas Boutry, Thierry Géraud, Laurent Najman
|
Journal of Mathematical Imaging and Vision
|
4 February 2019
|
puybareau.19.cbm
|
High Throughput Automated Detection of Axial Malformations in Medaka Embryo
|
Diane Genest, Élodie Puybareau, Marc Léonard, Jean Cousty, Noémie De Crozé, Hugues Talbot
|
Computers in Biology and Medicine
|
22 January 2019
|
newton.19.els
|
Finite Automata Theory Based Optimization of Conditional Variable Binding
|
Jim Newton, Didier Verna
|
European Lisp Symposium
|
14 January 2019
|
rivet.19.isbi
|
Motion Compensation in Digital Holography for Retinal Imaging
|
Julie Rivet, Guillaume Tochon, Michael Atlan, Serge Meimon, Thierry Géraud, Michel Paques
|
Proceedings of the IEEE International Symposium on Biomedical Imaging (ISBI)
|
19 December 2018
|
huynh.18.phd
|
Taking into account inclusion and adjacency information in morphological hierarchical representations, with application to the extraction of text in natural images and videos.
|
Lê Duy Huỳnh
|
|
1 December 2018
|
carlinet.19.csi
|
Intervertebral Disc Segmentation Using Mathematical Morphology—A CNN-Free Approach
|
Edwin Carlinet, Thierry Géraud
|
Proceedings of the 5th MICCAI Workshop & Challenge on Computational Methods and Clinical Applications for Spine Imaging (CSI)
|
26 November 2018
|
puybareau.18.brainles
|
Segmentation of Gliomas and Prediction of Patient Overall Survival: A Simple and Fast Procedure
|
Élodie Puybareau, Guillaume Tochon, Joseph Chazalon, Jonathan Fabrizio
|
Proceedings of the Workshop on Brain Lesions (BrainLes)in conjunction with MICCAI
|
5 November 2018
|
newton.18.phd
|
Representing and Computing with Types in Dynamically Typed Languages
|
Jim Newton
|
|
1 November 2018
|
puybareau.18.stacom
|
Left Atrial Segmentation In a Few Seconds Using Fully Convolutional Network and Transfer Learning
|
Élodie Puybareau, Zhou Zhao, Younes Khoudli, Yongchao Xu, Thierry Géraud, Edwin Carlinet, Jérôme Lacotte
|
Proceedings of the Workshop on Statistical Atlases and Computational Modelling of the Heart (STACOM 2018), in conjunction with MICCAI
|
25 October 2018
|
rivet.19.spie
|
Deep Neural Networks for Aberrations Compensation in Digital Holographic Imaging of the Retina
|
Julie Rivet, Guillaume Tochon, Serge Meimon, Michel Pâques, Thierry Géraud, Michael Atlan
|
Proceedings of the SPIE Conference on Adaptive Optics and Wavefront Control for Biological Systems V
|
25 October 2018
|
roynard.18.rrpr
|
An Image Processing Library in Modern C++: Getting Simplicity and Efficiency with Generic Programming
|
Michaël Roynard, Edwin Carlinet, Thierry Géraud
|
Proceedings of the 2nd Workshop on Reproducible Research in Pattern Recognition (RRPR 2018)
|
25 October 2018
|
movn.19.icdarw
|
Document detection in videos captured by smartphones using a saliency-based method
|
Minh Ôn Vũ Ngoc, Jonathan Fabrizio, Thierry Géraud
|
International Conference on Document Analysis and Recognition Workshops (ICDARW)
|
20 September 2018
|
newton.18.meta
|
Recognizing Heterogeneous Sequences by Rational Type Expression
|
Jim Newton, Didier Verna
|
Proceedings of the Meta'18: Workshop on Meta-Programming Techniques and Reflection
|
14 September 2018
|
newton.18.tocl
|
A Theoretical and Numerical Analysis of the Worst-Case Size of Reduced Ordered Binary Decision Diagrams
|
Jim Newton, Didier Verna
|
ACM Transactions on Computational Logic
|
28 August 2018
|
boutry.18.is
|
Weakly Well-Composed Cell Complexes over nD Pictures
|
Nicolas Boutry, Rocio Gonzalez-Diaz, Maria-Jose Jimenez
|
Information Sciences
|
4 July 2018
|
renault.18.vecos
|
Improving Parallel State-Space Exploration Using Genetic Algorithms
|
Etienne Renault
|
Proceedings of the 12th International Conference on Verification and Evaluation of Computer and Communication Systems (VECOS'18)
|
14 June 2018
|
michaud.18.synt
|
Reactive Synthesis from LTL Specification with Spot
|
Thibaud Michaud, Maximilien Colange
|
Proceedings of the 7th Workshop on Synthesis, SYNT@CAV 2018
|
7 June 2018
|
boldo.18.arith
|
A Formally-Proved Algorithm to Compute the Correct Average of Decimal Floating-Point Numbers
|
Sylvie Boldo, Florian Faissole, TourneurVincent
|
25th IEEE Symposium on Computer Arithmetic
|
1 June 2018
|
carlinet.18.icip
|
The Tree of Shapes Turned into a Max-Tree: A Simple and Efficient Linear Algorithm
|
Edwin Carlinet, Thierry Géraud, Sébastien Crozet
|
Proceedings of the 24th IEEE International Conference on Image Processing (ICIP)
|
10 May 2018
|
puybareau.18.icip
|
Real-Time Document Detection in Smartphone Videos
|
Élodie Puybareau, Thierry Géraud
|
Proceedings of the 24th IEEE International Conference on Image Processing (ICIP)
|
10 May 2018
|
carlinet.18.rfiap
|
Un algorithme de complexité linéaire pour le calcul de l'arbre des formes
|
Edwin Carlinet, Sébastien Crozet, Thierry Géraud
|
Actes du congrès Reconnaissance des Formes, ImageApprentissage et Perception (RFIAP)
|
4 May 2018
|
puybareau.18.rfiap
|
Segmentation des hyperintensités de la matière blanche en quelques secondes à l'aide d'un réseau de neurones convolutif et de transfert d'apprentissage
|
Élodie Puybareau, Yongchao Xu, Joseph Chazalon, Isabelle Bloch, Thierry Géraud
|
Actes du congrès Reconnaissance des Formes, ImageApprentissage et Perception (RFIAP), session spéciale “Deep Learning, deep in France”
|
4 May 2018
|
barnat.18.hpcr
|
Parallel Model Checking Algorithms for Linear-Time Temporal Logic
|
Jiri Barnat, Vincent Bloemen, Alexandre Duret-Lutz, Alfons Laarman, Laure Petrucci, Jaco van de Pol, Etienne Renault
|
Handbook of Parallel Constraint Reasoning
|
10 April 2018
|
newton.18.els
|
Approaches in Typecase Optimization
|
Jim Newton, Didier Verna
|
European Lisp Symposium
|
5 April 2018
|
goetz.18.tpds
|
Parallel Computation of Component Trees on Distributed Memory Machines
|
Markus Götz, Gabriele Cavallaro, Thierry Géraud, Matthias Book, Morris Riedel
|
IEEE Transactions on Parallel and Distributed Systems
|
2 April 2018
|
verna.18.els
|
Method Combinators
|
Didier Verna
|
11th European Lisp Symposium
|
25 March 2018
|
xu.18.media
|
The Challenge of Cerebral Magnetic Resonance Imaging in Neonates: A New Method using Mathematical Morphology for the Segmentation of Structures Including Diffuse Excessive High Signal Intensities
|
Yongchao Xu, Baptiste Morel, Sonia Dahdouh, Élodie Puybareau, Alessio Virzì, Hélène Urien, Catherine Adamsbaum, Isabelle Bloch, Thierry Géraud
|
Medical Image Analysis
|
22 March 2018
|
xu.18.brainles
|
White Matter Hyperintensities Segmentation In a Few Seconds Using Fully Convolutional Network and Transfer Learning
|
Yongchao Xu, Thierry Géraud, Élodie Puybareau, Isabelle Bloch, Joseph Chazalon
|
Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries— 3rd International WorkshopBrainLes 2017, Held in Conjunction with MICCAI 2017, Quebec City, QC, Canada, September 14 2017, Revised Selected Papers
|
6 February 2018
|
verna.18.programming
|
Lisp, Jazz, Aikido
|
Didier Verna
|
The Art, Science and Engineering of Programming Journal
|
5 February 2018
|
movn.18.das
|
Saliency-Based Detection of Identity Documents Captured by Smartphones
|
Minh Ôn Vũ Ngoc, Jonathan Fabrizio, Thierry Géraud
|
Proceedings of the IAPR International Workshop on Document Analysis Systems (DAS)
|
2 February 2018
|
dangla.18.das
|
A first step toward a fair comparison of evaluation protocols for text detection algorithms
|
Aliona Dangla, Élodie Puybareau, Guillaume Tochon, Jonathan Fabrizio
|
Proceedings of the IAPR International Workshop on Document Analysis Systems (DAS)
|
2 February 2018
|
metin.18.tacas
|
CDCLSym: Introducing Effective Symmetry Breaking in SAT Solving
|
Hakan Metin, Souheib Baarir, Maximilien Colange, Fabrice Kordon
|
Proceedings of the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'18)
|
5 January 2018
|
demaille.17.sacs
|
Derived-Term Automata of Multitape Expressions with Composition
|
Akim Demaille
|
Scientific Annals of Computer Science
|
29 December 2017
|
tochon.17.chapter
|
Advances in Utilization of Hierarchical Representations in Remote Sensing Data Analysis
|
Guillaume Tochon, Mauro Dalla Mura, Philippe Salembier, Jocelyn Chanussot, Miguel-Angel Veganzones, Silvia Valero
|
Comprehensive Remote Sensing, 1st Edition
|
8 November 2017
|
drapeau.17.grec
|
Extraction of Ancient Map Contents Using Trees of Connected Components
|
Jordan Drapeau, Thierry Géraud, Mickaël Coustaty, Joseph Chazalon, Jean-Christophe Burie, Véronique Eglin, Stéphane Bres
|
Proceedings of the 12th IAPR International Workshop on Graphics Recognition (GREC)
|
20 October 2017
|
boutry.17.jmiv
|
A Tutorial on Well-Composedness
|
Nicolas Boutry, Thierry Géraud, Laurent Najman
|
Journal of Mathematical Imaging and Vision
|
12 October 2017
|
chazalon.17.icdar-ost
|
SmartDoc 2017 Video Capture: Mobile Document Acquisition in Video Mode
|
J Chazalon, P Gomez-Krämer, J -C Burie, M Coustaty, S Eskenazi, M Luqman, N Nayef, M Rusiñol, N Sidère, J M Ogier.
|
Proceedings of the 1st International Workshop on Open Services and Tools for Document Analysis (ICDAR-OST)
|
21 July 2017
|
demaille.17.ictac
|
Derived-Term Automata of Weighted Rational Expressions with Quotient Operators
|
Akim Demaille, Thibaud Michaud
|
Proceedings of the Thirteenth International Colloquium on Theoretical Aspects of Computing (ICTAC)
|
5 July 2017
|
royer.17.icdar
|
Benchmarking Keypoint Filtering Approaches for Document Image Matching
|
E Royer, J Chazalon, M Rusiñol, F Bouchara
|
Proceedings of the 14th International Conference on Document Analysis and Recognition (ICDAR)
|
4 July 2017
|
jacobs.17.synt
|
The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results
|
Swen Jacobs, Nicolas Basset, Roderick Bloem, Romain Brenguier, Maximilien Colange, FaymonvillePeter, Bernd Finkbeiner, Ayrat Khalimov, KleinFelix, Thibaud Michaud, Guillermo A Pérez, Jean-François Raskin, Ocan Sankur, TentrupLeander
|
Proceedings Sixth Workshop on Synthesis
|
1 July 2017
|
le-frioux.17.sat
|
PaInleSS: a Framework for Parallel SAT Solving
|
Ludovic Le Frioux, Souheib Baarir, Julien Sopena, Fabrice Kordon
|
Proceedings of the 20th International Conference on Theory and Applications of Satisfiability Testing (SAT'17)
|
30 June 2017
|
rusinol.17.mtap
|
Augmented Songbook: an Augmented Reality Educational Application for Raising Music Awareness
|
Marçal Rusiñol, Joseph Chazalon, Katerine Diaz-Chito
|
Multimedia Tools and Applications
|
29 June 2017
|
puybareau.17.gretsi
|
Caractérisation des zones de mouvement périodiques pour applications bio-médicales
|
Élodie Puybareau, Hugues Talbot, Laurent Najman
|
Actes du 26e Colloque GRETSI
|
28 June 2017
|
xu.17.gretsi
|
Segmentation d'IRM de cerveaux de nouveau-nés en quelques secondes à l'aide d'un réseau de neurones convolutif pseudo-3D et de transfert d'apprentissage
|
Yongchao Xu, Thierry Géraud, Isabelle Bloch
|
Actes du 26e Colloque GRETSI
|
20 June 2017
|
xu.17.icip
|
From Neonatal to Adult Brain MR Image Segmentation in a Few Seconds Using 3D-Like Fully Convolutional Network and Transfer Learning
|
Yongchao Xu, Thierry Géraud, Isabelle Bloch
|
Proceedings of the 23rd IEEE International Conference on Image Processing (ICIP)
|
12 June 2017
|
boutry.17.dgci
|
Well-Composedness in Alexandrov spaces implies Digital Well-Composedness in Z^n
|
Nicolas Boutry, Laurent Najman, Thierry Géraud
|
Discrete Geometry for Computer Imagery – Proceedings of the 20th IAPR International Conference on Discrete Geometry for Computer Imagery (DGCI)
|
1 June 2017
|
menouer.17.iccs
|
Parallel Learning Portfolio-Based Solvers
|
Tarek Menouer, Souheib Baarir
|
Proceedings of the International Conference on Computational Science (ICCS)
|
1 June 2017
|
bloemen.17.spin
|
Explicit State Model Checking with Generalized Büchi and Rabin Automata
|
Vincent Bloemen, Alexandre Duret-Lutz, Jaco van de Pol
|
Proceedings of the 24th International SPIN Symposium on Model Checking of Software (SPIN'17)
|
22 May 2017
|
tochon.17.tgrs
|
Object tracking by hierarchical decomposition of hyperspectral video sequences: Application to chemical gas plume tracking
|
Guillaume Tochon, Jocelyn Chanussot, Mauro Dalla Mura, Andrea Bertozzi
|
IEEE Transactions on Geoscience and Remote Sensing
|
20 April 2017
|
blahoudek.17.lpar
|
Seminator: A Tool for Semi-Determinization of Omega-Automata
|
František Blahoudek, Alexandre Duret-Lutz, Mikuláš Klokočka, Mojmír Křetínský, Jan Strejček
|
Proceedings of the 21th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'17)
|
3 April 2017
|
carlinet.17.orasis
|
La pseudo-distance du dahu
|
Edwin Carlinet, Yongchao Xu, Nicolas Boutry, Thierry Géraud
|
Actes d'ORASIS
|
21 March 2017
|
menouer.17.pdp
|
Parallel Satisfiability Solver Based on Hybrid Partitioning Method
|
Tarek Menouer, Souheib Baarir
|
Proceedings of the 25th Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP)
|
1 March 2017
|
puybareau.17.ismm
|
Morphological Analysis of Brownian Motion for Physical Measurements
|
Élodie Puybareau, Hugues Talbot, Noha Gaber, Tarik Bourouina
|
Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 13th International Symposium on Mathematical Morphology (ISMM)
|
23 February 2017
|
geraud.17.ismm
|
Introducing the Dahu Pseudo-Distance
|
Thierry Géraud, Yongchao Xu, Edwin Carlinet, Nicolas Boutry
|
Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 13th International Symposium on Mathematical Morphology (ISMM)
|
23 February 2017
|
huynh.17.ismm
|
Morphological Hierarchical Image Decomposition Based on Laplacian 0-Crossings
|
Lê Duy Huỳnh, Yongchao Xu, Thierry Géraud
|
Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 13th International Symposium on Mathematical Morphology (ISMM)
|
23 February 2017
|
puybareau.17.isbi
|
Periodic Area-of-Motion characterization for Bio-Medical applications
|
Élodie Puybareau, Hugues Talbot, Laurent Najman
|
Proceedings of the IEEE International Symposium on Bio-Medical Imaging (ISBI)
|
20 February 2017
|
newton.17.els
|
Programmatic Manipulation of Common Lisp Type Specifiers
|
Jim Newton, Didier Verna, Maximilien Colange
|
European Lisp Symposium
|
6 February 2017
|
newton.17.dtd.report
|
Analysis of Algorithms Calculating the Maximal Disjoint Decomposition of a Set
|
Jim Newton
|
|
2 February 2017
|
duret.17.hdr
|
Contributions to LTL and ω-Automata for Model Checking
|
Alexandre Duret-Lutz
|
|
1 February 2017
|
dehak.16.nistsre
|
The MIT Lincoln Laboratory 2016 Speaker Recognition System
|
Pedro A Torres-Carrasquillo, Frederick Richardson, Shahan Nercessian, Douglas Sturim, William Campbell, Youngjune Gwon, Swaroop Vattam, Réda Dehak, Harish Mallidi, Phani Sankar Nidadavolu, Ruizhi Li, Raghavendra Reddy Pappagari, Nanxin Chen, Najim Dehak, Ruben Zazo
|
NIST Speaker Recognition Evaluation 2016
|
12 December 2016
|
boutry.16.phd
|
A Study of Well-Composedness in n-D
|
Nicolas Boutry
|
|
1 December 2016
|
drumetz.17.lva-ica
|
Estimating the Number of Endmembers to Use in Spectral Unmixing of Hyperspectral Data with Collaborative Sparsity
|
Lucas Drumetz, Guillaume Tochon, Jocelyn Chanussot, Christian Jutten
|
Proceedings of the 13th International Conference on Latent Variable Analysis and Signal Separation (LVA-ICA)
|
22 November 2016
|
newton.16.monad.report
|
Monads in Common Lisp
|
Jim Newton
|
|
18 November 2016
|
newton.16.dag.report
|
Finding Maximal Common Joins in a DAG
|
Jim Newton
|
|
17 November 2016
|
calarasanu.16.iwrr
|
From text detection to text segmentation: a unified evaluation scheme
|
Stefania Calarasanu, Jonathan Fabrizio, Séverine Dubuisson
|
Proceedings of the 2nd International Workshop on Robust Reading Conference (IWRR-ECCV)
|
1 October 2016
|
huynh.16.icpr
|
Morphology-Based Hierarchical Representation with Application to Text Segmentation in Natural Images
|
Lê Duy Huỳnh, Yongchao Xu, Thierry Géraud
|
Proceedings of the 23st International Conference on Pattern Recognition (ICPR)
|
13 July 2016
|
demaille.16.ictac
|
Derived-term Automata for Extended Weighted Rational Expressions
|
Akim Demaille
|
Proceedings of the Thirteenth International Colloquium on Theoretical Aspects of Computing (ICTAC)
|
6 July 2016
|
duret.16.atva
|
Heuristics for Checking Liveness Properties with Partial Order Reductions
|
Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud, Etienne Renault
|
Proceedings of the 14th International Symposium on Automated Technology for Verification and Analysis (ATVA'16)
|
17 June 2016
|
duret.16.atva2
|
Spot 2.0 — a framework for LTL and ω-automata manipulation
|
Alexandre Duret-Lutz, Alexandre Lewkowicz, Amaury Fauchille, Thibaud Michaud, Etienne Renault, Laurent Xu
|
Proceedings of the 14th International Symposium on Automated Technology for Verification and Analysis (ATVA'16)
|
17 June 2016
|
morel.16.embc
|
A Challenging Issue: Detection of White Matter Hyperintensities in Neonatal Brain MRI
|
Baptiste Morel, Yongchao Xu, Alessio Virzi, Thierry Géraud, Catherine Adamsbaum, Isabelle Bloch
|
Proceedings of the Annual International Conference of the IEEE Engineering in Medicine and Biology Society
|
20 May 2016
|
xu.16.prl
|
Hierarchical image simplification and segmentation based on Mumford-Shah-salient level line selection
|
Yongchao Xu, Thierry Géraud, Laurent Najman
|
Pattern Recognition Letters
|
20 May 2016
|
demaille.16.ciaa
|
Derived-Term Automata of Multitape Rational Expressions
|
Akim Demaille
|
Proceedings of Implementation and Application of Automata21st International Conference (CIAA'16)
|
26 April 2016
|
cavallaro.16.igarss
|
Region-Based Classification of Remote Sensing Images with the Morphological Tree of Shapes
|
Gabriele Cavallaro, Mauro Dalla Mura, Edwin Carlinet, Thierry Géraud, Nicola Falco, Jón Atli Benediktsson
|
Proceedings of the IEEE International Geoscience and Remote Sensing Symposium (IGARSS)
|
12 April 2016
|
xu.16.pami
|
Hierarchical Segmentation Using Tree-Based Shape Spaces
|
Yongchao Xu, Edwin Carlinet, Thierry Géraud, Laurent Najman
|
IEEE Transactions on Pattern Analysis and Machine Intelligence
|
11 April 2016
|
fabrizio.16.ijdar
|
TextCatcher: A method to detect curved and challenging text in natural scenes
|
Jonathan Fabrizio, Myriam Robert-Seidowsky, Séverine Dubuisson, Stefania Calarasanu, Raphaël Boissel
|
International Journal on Document Analysis and Recognition
|
8 April 2016
|
newton.16.els
|
Type-Checking of Heterogeneous Sequences in Common Lisp
|
Jim Newton, Akim Demaille, Didier Verna
|
European Lisp Symposium
|
25 March 2016
|
newton.16.rte.report
|
Efficient Dynamic Type Checking of Heterogeneous Sequences
|
Jim Newton
|
|
22 February 2016
|
calarasanu.16.visapp
|
Towards the rectification of highly distorted texts
|
Stefania Calarasanu, Séverine Dubuisson, Jonathan Fabrizio
|
Proceedings of the 11th International Conference on Computer Vision Theory and Applications (VISAPP)
|
1 February 2016
|
calarasanu.16.ivc
|
What is a good evaluation protocol for text localization systems? Concerns, arguments, comparisons and solutions
|
Stefania Calarasanu, Jonathan Fabrizio, Séverine Dubuisson
|
Image and Vision Computing
|
1 February 2016
|
calarasanu.15.phd
|
Improvement of a text detection chain and the proposition of a new evaluation protocol for text detection algorithms
|
Stefania Calarasanu
|
|
1 December 2015
|
carlinet.15.phd
|
A Tree of Shapes for Multivariate Images
|
Edwin Carlinet
|
|
1 November 2015
|
renault.16.sttt
|
Variations on Parallel Explicit Model Checking for Generalized Büchi Automata
|
Etienne Renault, Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud
|
International Journal on Software Tools for Technology Transfer (STTT)
|
26 October 2015
|
carlinet.15.itip
|
MToS: A Tree of Shapes for Multivariate Images
|
Edwin Carlinet, Thierry Géraud
|
IEEE Transactions on Image Processing
|
26 October 2015
|
baarir.15.lpar
|
SAT-based Minimization of Deterministic ω-Automata
|
Souheib Baarir, Alexandre Duret-Lutz
|
Proceedings of the 20th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'15)
|
1 September 2015
|
calarasanu.15.icdar
|
Using histogram representation and Earth Mover's Distance as an evaluation tool for text detection
|
Stefania Calarasanu, Jonathan Fabrizio, Séverine Dubuisson
|
Proceedings of the 13th IAPR International Conference on Document Analysis and Recognition (ICDAR)
|
1 August 2015
|
carlinet.15.ipta
|
Morphological Object Picking Based on the Color Tree of Shapes
|
Edwin Carlinet, Thierry Géraud
|
Proceedings of 5th International Conference on Image Processing Theory, Tools and Applications (IPTA'15)
|
29 June 2015
|
carlinet.15.gretsi
|
Une approche morphologique de segmentation interactive avec l'arbre des formes couleur
|
Edwin Carlinet, Thierry Géraud
|
Actes du 15e Colloque GRETSI
|
16 June 2015
|
blahoudek.15.spin
|
On Refinement of Büchi Automata for Explicit Model Checking
|
František Blahoudek, Alexandre Duret-Lutz, Vojtčech Rujbr, Jan Strejček
|
Proceedings of the 22th International SPIN Symposium on Model Checking of Software (SPIN'15)
|
15 June 2015
|
michaud.15.spin
|
Practical Stutter-Invariance Checks for ω-Regular Languages
|
Thibaud Michaud, Alexandre Duret-Lutz
|
Proceedings of the 22th International SPIN Symposium on Model Checking of Software (SPIN'15)
|
15 June 2015
|
xu.15.pami
|
Connected Filtering on Tree-Based Shape-Spaces
|
Yongchao Xu, Thierry Géraud, Laurent Najman
|
IEEE Transactions on Pattern Analysis and Machine Intelligence
|
5 June 2015
|
bensalem.15.forte
|
Extending Testing Automata to All LTL
|
Ala Eddine Ben Salem
|
Proceedings of the 35th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE'15)
|
19 May 2015
|
bensalem.15.acsd
|
Combining Explicit and Symbolic LTL Model Checking Using Generalized Testing Automata
|
Ala Eddine Ben Salem, Mohamed Graiet
|
Proceedings of the 15th International Conference on Application of Concurrency to System Design (ACSD'15)
|
19 May 2015
|
boutry.15.icip
|
How to Make nD Images Well-Composed Without Interpolation
|
Nicolas Boutry, Thierry Géraud, Laurent Najman
|
Proceedings of the IEEE International Conference on Image Processing (ICIP)
|
14 May 2015
|
babiak.15.cav
|
The Hanoi Omega-Automata Format
|
Tomáš Babiak, František Blahoudek, Alexandre Duret-Lutz, Joachim Klein, Jan Kv retínský, David Müller, David Parker, Jan Strejček
|
Proceedings of the 27th International Conference on Computer Aided Verification (CAV'15)
|
27 April 2015
|
xu.15.ismm
|
Efficient Computation of Attributes and Saliency Maps on Tree-Based Image Representations
|
Yongchao Xu, Edwin Carlinet, Thierry Géraud, Laurent Najman
|
Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 12th International Symposium on Mathematical Morphology (ISMM)
|
7 April 2015
|
boutry.15.ismm
|
How to Make nD Functions Digitally Well-Composed in a Self-Dual Way
|
Nicolas Boutry, Thierry Géraud, Laurent Najman
|
Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 12th International Symposium on Mathematical Morphology (ISMM)
|
7 April 2015
|
carlinet.15.ismm
|
A Color Tree of Shapes with Illustrations on FilteringSimplification, and Segmentation
|
Edwin Carlinet, Thierry Géraud
|
Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 12th International Symposium on Mathematical Morphology (ISMM)
|
7 April 2015
|
geraud.15.ismm
|
Self-Duality and Digital Topology: Links Between the Morphological Tree of Shapes and Well-Composed Gray-Level Images
|
Thierry Géraud, Edwin Carlinet, Sébastien Crozet
|
Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 12th International Symposium on Mathematical Morphology (ISMM)
|
7 April 2015
|
bensalem.15.lata
|
Single-pass Testing Automata for LTL Model Checking
|
Ala Eddine Ben Salem
|
Proceedings of the 9th International Conference on Language and Automata Theory and Applications (LATA'15)
|
1 March 2015
|
dubuisson.15.visapp
|
A Self-Adaptive Likelihood Function for Tracking with Particle Filter
|
Séverine Dubuisson, Myriam Robert-Seidowsky, Jonathan Fabrizio
|
Proceedings of the 10th International Conference on Computer Vision Theory and Applications (VISAPP)
|
1 March 2015
|
robert-seidowsky.15.visapp
|
TextTrail: A Robust Text Tracking Algorithm In Wild Environments
|
Myriam Robert-Seidowsky, Jonathan Fabrizio, Séverine Dubuisson
|
Proceedings of the 10th International Conference on Computer Vision Theory and Applications (VISAPP)
|
1 March 2015
|
renault.15.tacas
|
Parallel Explicit Model Checking for Generalized Büchi Automata
|
Etienne Renault, Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud
|
Proceedings of the 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'15)
|
13 January 2015
|
verna.15.cop
|
Context-Oriented Image Processing
|
Didier Verna, François Ripault
|
Context-Oriented Programming Workshop
|
1 January 2015
|
renault.14.phd
|
Contribution aux tests de vacuité pour le model checking explicite
|
Etienne Renault
|
|
5 December 2014
|
xu.14.itip
|
Tree-Based Morse Regions: A Topological Approach to Local Feature Detection
|
Yongchao Xu, Thierry Géraud, Pascal Monasse, Laurent Najman
|
IEEE Transactions on Image Processing
|
3 October 2014
|
bensalem.14.phd
|
Improving the Model Checking of Stutter-Invariant LTL Properties
|
Ala Eddine Ben Salem
|
|
25 September 2014
|
levillain.14.ciarp
|
Practical Genericity: Writing Image Processing Algorithms Both Reusable and Efficient
|
Roland Levillain, Thierry Géraud, Laurent Najman, Edwin Carlinet
|
Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications – Proceedings of the 19th Iberoamerican Congress on Pattern Recognition (CIARP)
|
10 September 2014
|
widynski.14.ius
|
Speckle Spot Detection in Ultrasound Images: Application to Speckle Reduction and Speckle Tracking
|
Nicolas Widynski, Thierry Géraud, Damien Garcia
|
Proceedings of the IEEE International Ultrasonics Symposium (IUS)
|
10 September 2014
|
xu.14.rfia
|
Espaces des formes basés sur des arbres : définition et applications en traitement d'images et vision par ordinateur
|
Yongchao Xu, Thierry Géraud, Laurent Najman
|
Actes du 19ème Congrès National sur Reconnaissance des Formes et l'Intelligence Artificielle (RFIA)
|
1 July 2014
|
blahoudek.14.spin
|
Is There a Best Büchi Automaton for Explicit Model Checking?
|
František Blahoudek, Alexandre Duret-Lutz, Mojmír Křetínský, Jan Strejček
|
Proceedings of the 21th International SPIN Symposium on Model Checking of Software (SPIN'14)
|
16 June 2014
|
dehak.14.odyssey
|
GMM Weights Adaptation Based on Subspace Approaches for Speaker Verification
|
Najim Dehak, O Plchot, M H Bahari, L Burget, H Van hamme, Réda Dehak
|
Odyssey 2014, The Speaker and Language Recognition Workshop
|
16 June 2014
|
carlinet.14.itip
|
A Comparative Review of Component Tree Computation Algorithms
|
Edwin Carlinet, Thierry Géraud
|
IEEE Transactions on Image Processing
|
16 June 2014
|
geraud.14.icip
|
A Morphological Method for Music Score Staff Removal
|
Thierry Géraud
|
Proceedings of the 21st International Conference on Image Processing (ICIP)
|
3 June 2014
|