Journal papers
From LRDE
Revision as of 10: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 |...")
Authors | Title | Published in | Date | |
---|---|---|---|---|
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 Elodie Puybareau 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 | A global benchmark of algorithms for segmenting the left atrium from late gadolinium-enhanced cardiac magnetic resonance imaging | Medical Image Analysis | 10 November 2020 |
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 Elodie Puybareau Matteo Bovio Xiufeng Zhang Yifeng Zhu Se Young Chun Won-Ki Jeong Peom Park Jinwook Choi | PAIP 2019: Liver cancer segmentation challenge | Medical Image Analysis | 10 November 2020 |
Topological Properties of the First Non-Local Digitally Well-Composed Interpolation on n-D Cubical Grids | Nicolas Boutry Laurent Najman Thierry Géraud | Topological Properties of the First Non-Local Digitally Well-Composed Interpolation on n-D Cubical Grids | Journal of Mathematical Imaging and Vision | 3 September 2020 |
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 | Equivalence between Digital Well-Composedness and Well-Composedness in the Sense of Alexandrov on n-D Cubical Grids | Journal of Mathematical Imaging and Vision | 3 September 2020 |
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 | A New Minimum Barrier Distance for Multivariate Images with Applications to Salient Object Detection, Shortest Path Finding, and Segmentation | Computer Vision and Image Understanding | 2 June 2020 |
Improving swarming using genetic algorithms | Etienne Renault | Improving swarming using genetic algorithms | Innovations in Systems and Software Engineering: a NASA journal (ISSE) | 2 June 2020 |
LTL Model Checking for Communicating Concurrent Programs | Adrien Pommellet Tayssir Touili | LTL Model Checking for Communicating Concurrent Programs | Innovations in Systems and Software Engineering: a NASA journal (ISSE) | 15 May 2020 |
A translational pathway of deep learning methods in Gastro-Intestinal Endoscopy | Sharib Ali Mariia Dmitrieva Noha Ghatwary Gorkem Polat Alptekin Temizel Adrian Krenzer Amar Hekalo Yun Bo Guo Bogdan Matuszewski others Sophia Bano | A translational pathway of deep learning methods in Gastro-Intestinal Endoscopy | arXiv preprint arXiv:2010.06034 | 1 January 2020 |
Connected Filters on Generalized Shape-Spaces | Lê Duy Huỳnh Nicolas Boutry Thierry Géraud | Connected Filters on Generalized Shape-Spaces | Pattern Recognition Letters | 20 September 2019 |
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 | Braids of Partitions for the Hierarchical Representation and Segmentation of Multimodal Images | Pattern Recognition | 1 July 2019 |
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 | Benchmark on Automatic 6-month-old Infant Brain Segmentation Algorithms: The iSeg-2017 Challenge | IEEE Transactions on Medical Imaging | 11 April 2019 |
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 | Standardized Assessment of Automatic Segmentation of White Matter Hyperintensities: Results of the WMH Segmentation Challenge | IEEE Transactions on Medical Imaging | 10 April 2019 |
Model checking with generalized Rabin and Fin-less automata | Vincent Bloemen Alexandre Duret-Lutz Jaco van de Pol | Model checking with generalized Rabin and Fin-less automata | International Journal on Software Tools for Technology Transfer | 1 April 2019 |
How to Make n-D Plain Maps Alexandrov-Well-Composed in a Self-dual Way | Nicolas Boutry Thierry Géraud Laurent Najman | How to Make n-D Plain Maps Alexandrov-Well-Composed in a Self-dual Way | Journal of Mathematical Imaging and Vision | 4 February 2019 |
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 | High throughput automated detection of axial malformations in Medaka embryo | Computers in Biology and Medicine | 22 January 2019 |
A Theoretical and Numerical Analysis of the Worst-Case Size of Reduced Ordered Binary Decision Diagrams | Jim Newton Didier Verna | A Theoretical and Numerical Analysis of the Worst-Case Size of Reduced Ordered Binary Decision Diagrams | ACM Transactions on Computational Logic | 28 August 2018 |
Weakly Well-Composed Cell Complexes over nD Pictures | Nicolas Boutry Rocio Gonzalez-Diaz Maria-Jose Jimenez | Weakly Well-Composed Cell Complexes over nD Pictures | Information Sciences | 4 July 2018 |
Parallel Computation of Component Trees on Distributed Memory Machines | Markus Götz Gabriele Cavallaro Thierry Géraud Matthias Book Morris Riedel | Parallel Computation of Component Trees on Distributed Memory Machines | IEEE Transactions on Parallel and Distributed Systems | 2 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 Intensities | Yongchao Xu Baptiste Morel Sonia Dahdouh Élodie Puybareau Alessio Virzì Hélène Urien Catherine Adamsbaum Isabelle Bloch Thierry Géraud | 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 | Medical Image Analysis | 22 March 2018 |
Lisp, Jazz, Aikido | Didier Verna | Lisp, Jazz, Aikido | The Art, Science and Engineering of Programming Journal | 5 February 2018 |
Derived-Term Automata of Multitape Expressions with Composition | Akim Demaille | Derived-Term Automata of Multitape Expressions with Composition | Scientific Annals of Computer Science | 29 December 2017 |
A Tutorial on Well-Composedness | Nicolas Boutry Thierry Géraud Laurent Najman | A Tutorial on Well-Composedness | Journal of Mathematical Imaging and Vision | 12 October 2017 |
Augmented Songbook: an Augmented Reality Educational Application for Raising Music Awareness | Marçal Rusiñol Joseph Chazalon Katerine Diaz-Chito | Augmented Songbook: an Augmented Reality Educational Application for Raising Music Awareness | Multimedia Tools and Applications | 29 June 2017 |
Object tracking by hierarchical decomposition of hyperspectral video sequences: Application to chemical gas plume tracking | Guillaume Tochon Jocelyn Chanussot Mauro Dalla Mura Andrea Bertozzi | Object tracking by hierarchical decomposition of hyperspectral video sequences: Application to chemical gas plume tracking | IEEE Transactions on Geoscience and Remote Sensing | 20 April 2017 |
Hierarchical image simplification and segmentation based on Mumford-Shah-salient level line selection | Yongchao Xu Thierry Géraud Laurent Najman | Hierarchical image simplification and segmentation based on Mumford-Shah-salient level line selection | Pattern Recognition Letters | 20 May 2016 |
Hierarchical Segmentation Using Tree-Based Shape Spaces | Yongchao Xu Edwin Carlinet Thierry Géraud Laurent Najman | Hierarchical Segmentation Using Tree-Based Shape Spaces | IEEE Transactions on Pattern Analysis and Machine Intelligence | 11 April 2016 |
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 | TextCatcher: a method to detect curved and challenging text in natural scenes | International Journal on Document Analysis and Recognition | 8 April 2016 |
What is a good evaluation protocol for text localization systems? Concerns, arguments, comparisons and solutions | Stefania Calarasanu Jonathan Fabrizio Séverine Dubuisson | What is a good evaluation protocol for text localization systems? Concerns, arguments, comparisons and solutions | Image and Vision Computing | 1 February 2016 |
Variations on Parallel Explicit Model Checking for Generalized Büchi Automata | Etienne Renault Alexandre Duret-Lutz Fabrice Kordon Denis Poitrenaud | Variations on Parallel Explicit Model Checking for Generalized Büchi Automata | International Journal on Software Tools for Technology Transfer (STTT) | 26 October 2015 |
MToS: A Tree of Shapes for Multivariate Images | Edwin Carlinet Thierry Géraud | MToS: A Tree of Shapes for Multivariate Images | IEEE Transactions on Image Processing | 26 October 2015 |
Connected Filtering on Tree-Based Shape-Spaces | Yongchao Xu Thierry Géraud Laurent Najman | Connected Filtering on Tree-Based Shape-Spaces | IEEE Transactions on Pattern Analysis and Machine Intelligence | 5 June 2015 |
Tree-Based Morse Regions: A Topological Approach to Local Feature Detection | Yongchao Xu Thierry Géraud Pascal Monasse Laurent Najman | Tree-Based Morse Regions: A Topological Approach to Local Feature Detection | IEEE Transactions on Image Processing | 3 October 2014 |
A Comparative Review of Component Tree Computation Algorithms | Edwin Carlinet Thierry Géraud | A Comparative Review of Component Tree Computation Algorithms | IEEE Transactions on Image Processing | 16 June 2014 |
LTL Translation Improvements in Spot 1.0 | Alexandre Duret-Lutz | LTL Translation Improvements in Spot 1.0 | International Journal on Critical Computer-Based Systems | 6 March 2014 |
Text detection in street level image | Jonathan Fabrizio Beatriz Marcotegui Matthieu Cord | Text detection in street level image | Pattern Analysis and Applications | 5 November 2013 |
Unsupervised Methods for Speaker Diarization: An Integrated and Iterative Approach | S Shum Najim Dehak Réda Dehak J Glass | Unsupervised Methods for Speaker Diarization: An Integrated and Iterative Approach | IEEE Transactions on Audio, Speech, and Language Processing | 7 June 2013 |
Efficient Multiscale Sauvola's Binarization | Guillaume Lazzara Thierry Géraud | Efficient Multiscale Sauvola's Binarization | International Journal of Document Analysis and Recognition (IJDAR) | 25 April 2013 |
Motion compensation based on Tangent Distance prediction for video compression | Jonathan Fabrizio Séverine Dubuisson Dominique Béréziat | Motion compensation based on Tangent Distance prediction for video compression | Signal Processing: Image Communication | 9 February 2012 |
Model Checking using Generalized Testing Automata | Ala Eddine Ben Salem Alexandre Duret-Lutz Fabrice Kordon | Model Checking using Generalized Testing Automata | Transactions on Petri Nets and Other Models of Concurrency (ToPNoC VI) | 1 January 2012 |
Front-End Factor Analysis For Speaker Verification | Najim Dehak P Kenny Réda Dehak P Dumouchel P Ouellet | Front-End Factor Analysis For Speaker Verification | IEEE Transactions on Audio, Speech, and Language Processing | 1 May 2011 |
NixOS: A purely functional Linux distribution | Eelco Dolstra Andres Löh Nicolas Pierron | NixOS: A purely functional Linux distribution | Journal of Functional Programming | 15 October 2010 |
Revisiting the Visitor: the Just Do It Pattern | Didier Verna | Revisiting the Visitor: the Just Do It Pattern | Journal of Universal Computer Science | 1 January 2010 |
Building Efficient Model checkers using Hierarchical Set Decision Diagrams and automatic Saturation | Alexandre Hamez Yann Thierry-Mieg Fabrice Kordon | Building Efficient Model checkers using Hierarchical Set Decision Diagrams and automatic Saturation | Fundamenta Informaticae | 1 January 2009 |
Binary Methods Programming: the CLOS Perspective (extended version) | Didier Verna | Binary Methods Programming: the CLOS Perspective (extended version) | Journal of Universal Computer Science | 1 January 2008 |
How to make Lisp go faster than C | Didier Verna | How to make Lisp go faster than C | IAENG International Journal of Computer Science | 1 December 2006 |
Shape-based hand recognition | Erdem Yörük Ender Konukoglu Bülent Sankur Jérôme Darbon | Shape-based hand recognition | IEEE Transactions on Image Processing | 1 July 2006 |
Image restoration with discrete constrained Total Variation—Part II: Levelable functions, convex priors and non-convex case | Jérôme Darbon Marc Sigelle | Image restoration with discrete constrained Total Variation—Part II: Levelable functions, convex priors and non-convex case | Journal of Mathematical Imaging and Vision | 24 March 2006 |
Image restoration with discrete constrained Total Variation—Part I: Fast and exact optimization | Jérôme Darbon Marc Sigelle | Image restoration with discrete constrained Total Variation—Part I: Fast and exact optimization | Journal of Mathematical Imaging and Vision | 24 March 2006 |
Probabilistic abstraction for model checking: an approach based on property testing | Sophie Laplante Richard Lassaigne Frédéric Magniez Sylvain Peyronnet Michel de Rougemont | Probabilistic abstraction for model checking: an approach based on property testing | ACM Transactions on Computational Logic | 21 November 2005 |
C-Transformers — A Framework to Write C Program Transformations | Alexandre Borghi Valentin David Akim Demaille | C-Transformers — A Framework to Write C Program Transformations | ACM Crossroads | 16 October 2005 |
... further results |