|
|
Title
|
Authors
|
Published in
|
Date
|
| 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
|
| 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
|
| 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
|
| 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.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
|
| 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.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
|
| 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
|
| 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
|
| carlinet.15.itip
|
MToS: A Tree of Shapes for Multivariate Images
|
Edwin Carlinet, Thierry Géraud
|
IEEE Transactions on Image Processing
|
26 October 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
|
