|
Title
|
Authors
|
Published in
|
Date
|
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
|
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
|
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
|
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
|
espie.21.eurocon
|
Debug Packages in OpenBSD
|
Marc Espie
|
EuroBSDCon 2021
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
verna.19.tug
|
Quickref: Common Lisp Reference Documentation as a Stress Test for Texinfo
|
Didier Verna
|
TUGboat
|
6 November 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
|
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
|
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
|
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.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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
newton.18.els
|
Approaches in Typecase Optimization
|
Jim Newton, Didier Verna
|
European Lisp Symposium
|
5 April 2018
|
verna.18.els
|
Method Combinators
|
Didier Verna
|
11th European Lisp Symposium
|
25 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
|
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
|
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
|
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
|
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
|
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
|
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
|
menouer.17.iccs
|
Parallel Learning Portfolio-Based Solvers
|
Tarek Menouer, Souheib Baarir
|
Proceedings of the International Conference on Computational Science (ICCS)
|
1 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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
newton.16.els
|
Type-Checking of Heterogeneous Sequences in Common Lisp
|
Jim Newton, Akim Demaille, Didier Verna
|
European Lisp Symposium
|
25 March 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
|
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
|
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
|
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
|
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
|