|
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.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.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.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.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.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
|
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
|
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
|
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
|
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
|
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
|
carlinet.14.itip
|
A Comparative Review of Component Tree Computation Algorithms
|
Edwin Carlinet, Thierry Géraud
|
IEEE Transactions on Image Processing
|
16 June 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
|
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
|
boutry.14.dgci
|
On Making nD Images Well-Composed by a Self-Dual Local Interpolation
|
Nicolas Boutry, Thierry Géraud, Laurent Najman
|
Proceedings of the 18th International Conference on Discrete Geometry for Computer Imagery (DGCI)
|
28 May 2014
|
fabrizio.14.icip
|
A precise skew estimation algorithm for document images using KNN clustering and Fourier transform
|
Jonathan Fabrizio
|
Proceedings of the 21st International Conference on Image Processing (ICIP)
|
26 May 2014
|
xu.14.icip
|
Meaningful disjoint level lines selection
|
Yongchao Xu, Edwin Carlinet, Thierry Géraud, Laurent Najman
|
Proceedings of the 21st International Conference on Image Processing (ICIP)
|
26 May 2014
|
carlinet.14.icip
|
Getting a morphological Tree of Shapes for Multivariate Images: Paths, Traps and Pitfalls
|
Edwin Carlinet, Thierry Géraud
|
Proceedings of the 21st International Conference on Image Processing (ICIP)
|
26 May 2014
|
crozet.14.icip
|
A First Parallel Algorithm to Compute the Morphological Tree of Shapes of nD Images
|
Sébastien Crozet, Thierry Géraud
|
Proceedings of the 21st International Conference on Image Processing (ICIP)
|
26 May 2014
|
demaille.14.ciaa
|
A Type System for Weighted Automata and Rational Expressions
|
Akim Demaille, Alexandre Duret-Lutz, Sylvain Lombardy, Luca Saiu, Jacques Sakarovitch
|
Proceedings of Implementation and Application of Automata19th International Conference (CIAA'14)
|
20 May 2014
|
carlinet.14.icpr
|
A Morphological Tree of Shapes for Color Images
|
Edwin Carlinet, Thierry Géraud
|
Proceedings of the 22nd International Conference on Pattern Recognition (ICPR)
|
2 April 2014
|
bensalem.14.tacas
|
Symbolic Model Checking of Stutter Invariant Properties Using Generalized Testing Automata
|
Ala Eddine Ben Salem, Alexandre Duret-Lutz, Fabrice Kordon, Yann Thierry-Mieg
|
Proceedings of the 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'14)
|
1 April 2014
|
baarir.14.forte
|
Mechanizing the Minimization of Deterministic Generalized Büchi Automata
|
Souheib Baarir, Alexandre Duret-Lutz
|
Proceedings of the 34th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE'14)
|
21 March 2014
|
duret.14.ijccbs
|
LTL Translation Improvements in Spot 1.0
|
Alexandre Duret-Lutz
|
International Journal on Critical Computer-Based Systems
|
6 March 2014
|
xu.13.phd
|
Tree-based shape spaces: Definition and applications in image processing and computer vision
|
Yongchao Xu
|
|
12 December 2013
|
lazzara.14.das
|
Planting, Growing and Pruning Trees: Connected Filters Applied to Document Image Analysis
|
Guillaume Lazzara, Thierry Géraud, Roland Levillain
|
Proceedings of the 11th IAPR International Workshop on Document Analysis Systems (DAS)
|
10 December 2013
|
fabrizio.13.paa
|
Text detection in street level image
|
Jonathan Fabrizio, Beatriz Marcotegui, Matthieu Cord
|
Pattern Analysis and Applications
|
5 November 2013
|
renault.13.lpar
|
Three SCC-based Emptiness Checks for Generalized Büchi Automata
|
Etienne Renault, Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud
|
Proceedings of the 19th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'13)
|
9 October 2013
|
duret.13.atva
|
Manipulating LTL formulas using Spot 1.0
|
Alexandre Duret-Lutz
|
Proceedings of the 11th International Symposium on Automated Technology for Verification and Analysis (ATVA'13)
|
15 June 2013
|
fronc.13.atva
|
LTL Model Checking with Neco
|
Łukasz Fronc, Alexandre Duret-Lutz
|
Proceedings of the 11th International Symposium on Automated Technology for Verification and Analysis (ATVA'13)
|
15 June 2013
|
shum.13.taslp
|
Unsupervised Methods for Speaker Diarization: An Integrated and Iterative Approach
|
S Shum, Najim Dehak, Réda Dehak, J Glass
|
IEEE Transactions on Audio, Speech, and Language Processing
|
7 June 2013
|
xu.13.icip
|
Salient Level Lines Selection Using the Mumford-Shah Functional
|
Yongchao Xu, Thierry Géraud, Laurent Najman
|
Proceedings of the 20th International Conference on Image Processing (ICIP)
|
27 May 2013
|
demaille.13.ciaa
|
Implementation Concepts in Vaucanson 2
|
Akim Demaille, Alexandre Duret-Lutz, Sylvain Lombardy, Jacques Sakarovitch
|
Proceedings of Implementation and Application of Automata18th International Conference (CIAA'13)
|
2 May 2013
|
babiak.13.spin
|
Compositional Approach to Suspension and Other Improvements to LTL Translation
|
Tomáš Babiak, Thomas Badie, Alexandre Duret-Lutz, Mojmír Křetínský, Jan Strejček
|
Proceedings of the 20th International SPIN Symposium on Model Checking of Software (SPIN'13)
|
28 April 2013
|