|
|
Title
|
Authors
|
Published in
|
Date
|
| 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
|
