Journal papers

From LRDE

Revision as of 11:51, 18 September 2013 by Cd (talk | contribs) (Created page with "{{#ask: Category:Publications Publication type::article | ?Has author = Authors | ?Has title = Title | ?Published in | ?News date#MEDIAWIKI=Date | order = descending |...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
 AuthorsTitlePublished inDate
Connected Filters on Generalized Shape-SpacesLê Duy Huỳnh
Nicolas Boutry
Thierry Géraud
Connected Filters on Generalized Shape-SpacesPattern Recognition Letters20 September 2019
Braids of Partitions for the Hierarchical Representation and Segmentation of Multimodal ImagesGuillaume Tochon
Mauro Dalla Mura
Miguel Angel Veganzones
Thierry Géraud
Jocelyn Chanussot
Braids of Partitions for the Hierarchical Representation and Segmentation of Multimodal ImagesPattern Recognition1 July 2019
Benchmark on Automatic 6-month-old Infant Brain Segmentation Algorithms: The iSeg-2017 ChallengeLi 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
Benchmark on Automatic 6-month-old Infant Brain Segmentation Algorithms: The iSeg-2017 ChallengeIEEE Transactions on Medical Imaging11 April 2019
Standardized Assessment of Automatic Segmentation of White Matter Hyperintensities: Results of the WMH Segmentation ChallengeH 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
Standardized Assessment of Automatic Segmentation of White Matter Hyperintensities: Results of the WMH Segmentation ChallengeIEEE Transactions on Medical Imaging10 April 2019
Model checking with generalized Rabin and Fin-less automataVincent Bloemen
Alexandre Duret-Lutz
Jaco van de Pol
Model checking with generalized Rabin and Fin-less automataInternational Journal on Software Tools for Technology Transfer1 April 2019
How to Make n-D Plain Maps Alexandrov-Well-Composed in a Self-dual WayNicolas Boutry
Thierry Géraud
Laurent Najman
How to Make n-D Plain Maps Alexandrov-Well-Composed in a Self-dual WayJournal of Mathematical Imaging and Vision4 February 2019
High throughput automated detection of axial malformations in Medaka embryoDiane Genest
Élodie Puybareau
Marc Léonard
Jean Cousty
Noémie De Crozé
Hugues Talbot
High throughput automated detection of axial malformations in Medaka embryoComputers in Biology and Medicine22 January 2019
A Theoretical and Numerical Analysis of the Worst-Case Size of Reduced Ordered Binary Decision DiagramsJim Newton
Didier Verna
A Theoretical and Numerical Analysis of the Worst-Case Size of Reduced Ordered Binary Decision DiagramsACM Transactions on Computational Logic28 August 2018
Weakly Well-Composed Cell Complexes over nD PicturesNicolas Boutry
Rocio Gonzalez-Diaz
Maria-Jose Jimenez
Weakly Well-Composed Cell Complexes over nD PicturesInformation Sciences4 July 2018
Parallel Computation of Component Trees on Distributed Memory MachinesMarkus Götz
Gabriele Cavallaro
Thierry Géraud
Matthias Book
Morris Riedel
Parallel Computation of Component Trees on Distributed Memory MachinesIEEE Transactions on Parallel and Distributed Systems2 April 2018
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 IntensitiesYongchao Xu
Baptiste Morel
Sonia Dahdouh
Élodie Puybareau
Alessio Virzì
Hélène Urien
Thierry~Géraud
Catherine Adamsbaum
Isabelle Bloch
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 IntensitiesMedical Image Analysis22 March 2018
Lisp, Jazz, AikidoDidier VernaLisp, Jazz, AikidoThe Art, Science and Engineering of Programming Journal5 February 2018
Derived-Term Automata of Multitape Expressions with CompositionAkim DemailleDerived-Term Automata of Multitape Expressions with CompositionScientific Annals of Computer Science29 December 2017
A Tutorial on Well-ComposednessNicolas Boutry
Thierry Géraud
Laurent Najman
A Tutorial on Well-ComposednessJournal of Mathematical Imaging and Vision12 October 2017
Augmented Songbook: an Augmented Reality Educational Application for Raising Music AwarenessMarçal Rusiñol
Joseph Chazalon
Katerine Diaz-Chito
Augmented Songbook: an Augmented Reality Educational Application for Raising Music AwarenessMultimedia Tools and Applications29 June 2017
Object tracking by hierarchical decomposition of hyperspectral video sequences: Application to chemical gas plume trackingGuillaume Tochon
Jocelyn Chanussot
Mauro Dalla Mura
Andrea Bertozzi
Object tracking by hierarchical decomposition of hyperspectral video sequences: Application to chemical gas plume trackingIEEE Transactions on Geoscience and Remote Sensing20 April 2017
Hierarchical image simplification and segmentation based on Mumford-Shah-salient level line selectionYongchao Xu
Thierry Géraud
Laurent Najman
Hierarchical image simplification and segmentation based on Mumford-Shah-salient level line selectionPattern Recognition Letters20 May 2016
Hierarchical Segmentation Using Tree-Based Shape SpacesYongchao Xu
Edwin Carlinet
Thierry Géraud
Laurent Najman
Hierarchical Segmentation Using Tree-Based Shape SpacesIEEE Transactions on Pattern Analysis and Machine Intelligence11 April 2016
TextCatcher: a method to detect curved and challenging text in natural scenesJonathan Fabrizio
Myriam Robert-Seidowsky
Séverine Dubuisson
Stefania Calarasanu
Raphaël Boissel
TextCatcher: a method to detect curved and challenging text in natural scenesInternational Journal on Document Analysis and Recognition8 April 2016
What is a good evaluation protocol for text localization systems? Concerns, arguments, comparisons and solutionsStefania Calarasanu
Jonathan Fabrizio
Séverine Dubuisson
What is a good evaluation protocol for text localization systems? Concerns, arguments, comparisons and solutionsImage and Vision Computing1 February 2016
Variations on Parallel Explicit Model Checking for Generalized Büchi AutomataEtienne Renault
Alexandre Duret-Lutz
Fabrice Kordon
Denis Poitrenaud
Variations on Parallel Explicit Model Checking for Generalized Büchi AutomataInternational Journal on Software Tools for Technology Transfer (STTT)26 October 2015
MToS: A Tree of Shapes for Multivariate ImagesEdwin Carlinet
Thierry Géraud
MToS: A Tree of Shapes for Multivariate ImagesIEEE Transactions on Image Processing26 October 2015
Connected Filtering on Tree-Based Shape-SpacesYongchao Xu
Thierry Géraud
Laurent Najman
Connected Filtering on Tree-Based Shape-SpacesIEEE Transactions on Pattern Analysis and Machine Intelligence5 June 2015
Tree-Based Morse Regions: A Topological Approach to Local Feature DetectionYongchao Xu
Thierry Géraud
Pascal Monasse
Laurent Najman
Tree-Based Morse Regions: A Topological Approach to Local Feature DetectionIEEE Transactions on Image Processing3 October 2014
A Comparative Review of Component Tree Computation AlgorithmsEdwin Carlinet
Thierry Géraud
A Comparative Review of Component Tree Computation AlgorithmsIEEE Transactions on Image Processing16 June 2014
LTL Translation Improvements in Spot 1.0Alexandre Duret-LutzLTL Translation Improvements in Spot 1.0International Journal on Critical Computer-Based Systems6 March 2014
Text detection in street level imageJonathan Fabrizio
Beatriz Marcotegui
Matthieu Cord
Text detection in street level imagePattern Analysis and Applications5 November 2013
Unsupervised Methods for Speaker Diarization: An Integrated and Iterative ApproachS Shum
Najim Dehak
Réda Dehak
J Glass
Unsupervised Methods for Speaker Diarization: An Integrated and Iterative ApproachIEEE Transactions on Audio, Speech, and Language Processing7 June 2013
Efficient Multiscale Sauvola's BinarizationGuillaume Lazzara
Thierry Géraud
Efficient Multiscale Sauvola's BinarizationInternational Journal of Document Analysis and Recognition (IJDAR)25 April 2013
Motion compensation based on Tangent Distance prediction for video compressionJonathan Fabrizio
Séverine Dubuisson
Dominique Béréziat
Motion compensation based on Tangent Distance prediction for video compressionSignal Processing: Image Communication9 February 2012
Model Checking using Generalized Testing AutomataAla Eddine Ben Salem
Alexandre Duret-Lutz
Fabrice Kordon
Model Checking using Generalized Testing AutomataTransactions on Petri Nets and Other Models of Concurrency (ToPNoC VI)1 January 2012
Front-End Factor Analysis For Speaker VerificationNajim Dehak
P Kenny
Réda Dehak
P Dumouchel
P Ouellet
Front-End Factor Analysis For Speaker VerificationIEEE Transactions on Audio, Speech, and Language Processing1 May 2011
NixOS: A purely functional Linux distributionEelco Dolstra
Andres Löh
Nicolas Pierron
NixOS: A purely functional Linux distributionJournal of Functional Programming15 October 2010
Revisiting the Visitor: the Just Do It PatternDidier VernaRevisiting the Visitor: the Just Do It PatternJournal of Universal Computer Science1 January 2010
Building Efficient Model checkers using Hierarchical Set Decision Diagrams and automatic SaturationAlexandre Hamez
Yann Thierry-Mieg
Fabrice Kordon
Building Efficient Model checkers using Hierarchical Set Decision Diagrams and automatic SaturationFundamenta Informaticae1 January 2009
Binary Methods Programming: the CLOS Perspective (extended version)Didier VernaBinary Methods Programming: the CLOS Perspective (extended version)Journal of Universal Computer Science1 January 2008
How to make Lisp go faster than CDidier VernaHow to make Lisp go faster than CIAENG International Journal of Computer Science1 December 2006
Shape-based hand recognitionErdem Yörük
Ender Konukoglu
Bülent Sankur
Jérôme Darbon
Shape-based hand recognitionIEEE Transactions on Image Processing1 July 2006
Image restoration with discrete constrained Total Variation—Part~I: Fast and exact optimizationJérôme Darbon
Marc Sigelle
Image restoration with discrete constrained Total Variation—Part~I: Fast and exact optimizationJournal of Mathematical Imaging and Vision24 March 2006
Image restoration with discrete constrained Total Variation—Part~II: Levelable functions, convex priors and non-convex caseJérôme Darbon
Marc Sigelle
Image restoration with discrete constrained Total Variation—Part~II: Levelable functions, convex priors and non-convex caseJournal of Mathematical Imaging and Vision24 March 2006
Probabilistic abstraction for model checking: an approach based on property testingSophie Laplante
Richard Lassaigne
Frédéric Magniez
Sylvain Peyronnet
Michel de Rougemont
Probabilistic abstraction for model checking: an approach based on property testingACM Transactions on Computational Logic21 November 2005
C-Transformers — A Framework to Write C Program TransformationsAlexandre Borghi
Valentin David
Akim Demaille
C-Transformers — A Framework to Write C Program TransformationsACM Crossroads16 October 2005
Spatial reasoning with relative incomplete information on relative positioningRéda Dehak
Isabelle Bloch
Henri Maître
Spatial reasoning with relative incomplete information on relative positioningIEEE Transactions on Pattern Analysis and Machine Intelligence1 September 2005
Introducing VaucansonSylvain Lombardy
Yann Régis-Gianas
Jacques Sakarovitch
Introducing VaucansonTheoretical Computer Science1 November 2004
Fast road network extraction in satellite images using mathematical morphology and Markov random fieldsThierry Géraud
Jean-Baptiste Mouret
Fast road network extraction in satellite images using mathematical morphology and Markov random fieldsEURASIP Journal on Applied Signal Processing5 September 2004
Fusion of spatial relationships for guiding recognitionexample of brain structure recognition in 3D MRIIsabelle Bloch
Olivier Colliot
Oscar Camara
Thierry Géraud
Fusion of spatial relationships for guiding recognitionexample of brain structure recognition in 3D MRIPattern Recognition Letters9 July 2004
Representation and fusion of heterogeneous fuzzy information in the 3D space for model-based structural recognition—application to 3D brain imagingIsabelle Bloch
Thierry Géraud
Henri Maître
Representation and fusion of heterogeneous fuzzy information in the 3D space for model-based structural recognition—application to 3D brain imagingArtificial Intelligence1 August 2003