|
|
Title
|
Authors
|
Published in
|
Date
|
| 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
|
| puybareau.19.ismm
|
Spherical fluorescent particle segmentation and tracking in 3D confocal microscopy
|
Élodie Puybareau, Edwin Carlinet, Alessandro Benfenati, Hugues Talbot
|
Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 14th International Symposium on Mathematical Morphology (ISMM)
|
13 March 2019
|
| 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
|
| boutry.21.dgmm.3
|
Stability of the Tree of Shapes to Additive Noise
|
Nicolas Boutry, Guillaume Tochon
|
Proceedings of the IAPR International Conference on Discrete Geometry and Mathematical Morphology (DGMM)
|
2 March 2021
|
| zhao.19.myops
|
Stacked and parallel U-nets with multi-output for myocardial pathology segmentation
|
Zhou Zhao, Nicolas Boutry, Elodie Puybareau
|
Myocardial Pathology Segmentation Combining Multi-Sequence CMR Challenge
|
1 January 2020
|
| verna.12.tug
|
Star TeX : the Next Generation
|
Didier Verna
|
TUGboat
|
1 January 2012
|
| le-quoc.07.rivf
|
Stochastic routing in large grid-shaped quantum networks
|
Cuong Le Quoc, Patrick Bellot, Akim Demaille
|
Proceedings of the Fifth International Conference on Computer Sciences, Research, Innovation and Vision for the Future (RIVF'07)
|
4 December 2006
|
| renault.13.tacas
|
Strength-Based Decomposition of the Property Büchi Automaton for Faster Model Checking
|
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'13)
|
8 January 2013
|
| dehak.09.icassp
|
Support Vector Machines and Joint Factor Analysis for Speaker Verification
|
Najim Dehak, Patrick Kenny, Réda Dehak, Ondrej Glember, Pierre Dumouchel, Lukas Burget, Valiantsina Hubeika, Fabio Castaldo
|
IEEE-ICASSP
|
19 April 2009
|
| dehak.09.interspeech
|
Support Vector Machines versus Fast Scoring in the Low-Dimensional Total Variability Space for Speaker Verification
|
Najim Dehak, Réda Dehak, Patrick Kenny, Niko Brummer, Pierre Ouellet, Pierre Dumouchel
|
Interspeech
|
22 June 2009
|
| 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
|
| demaille.09.sac
|
TWEAST: A Simple and Effective Technique to Implement Concrete-Syntax AST Rewriting Using Partial Parsing
|
Akim Demaille, Roland Levillain, Benoît Sigoure
|
Proceedings of the 24th Annual ACM Symposium on Applied Computing (SAC'09)
|
11 October 2008
|
| 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
|
| 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
|
| fouquier.07.icassp
|
The Biosecure Geometry-based System for Hand Modality
|
Geoffroy Fouquier, Laurence Likforman, Jérôme Darbon, Bulent Sankur
|
Proceedings of the 32nd IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP)
|
18 December 2006
|
| esteban.22.gpce
|
The Cost of Dynamism in Static Languages for Image Processing
|
Baptiste Esteban, Edwin Carlinet, Guillaume Tochon, Didier Verna
|
Proceedings of the 21st International Conference on Generative Programming: Concepts & Experiences (GPCE 2022)
|
10 October 2022
|
| 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
|
| dehak.08.nist
|
The LRDE Systems for the 2008 NIST Speaker Recognition Evaluation
|
Réda Dehak, Najim Dehak, Patrick Kenny
|
NIST-SRE 2008
|
1 June 2008
|
| 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
|
| kenny.08.odyssey
|
The Role of Speaker Factors in the NIST Extended Data Task
|
Patrick Kenny, Najim Dehak, Réda Dehak, Vishwa Gupta, Pierre Dumouchel
|
Proceedings of the Speaker and Language Recognition Workshop (IEEE-Odyssey 2008)
|
25 September 2007
|
| lazzara.11.icdar
|
The SCRIBO Module of the Olena Platform: a Free Software Framework for Document Image Analysis
|
Guillaume Lazzara, Roland Levillain, Thierry Géraud, Yann Jacquelet, Julien Marquegnies, Arthur Crépin-Leblond
|
Proceedings of the 11th International Conference on Document Analysis and Recognition (ICDAR)
|
1 June 2011
|
| 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
|
| verna.13.tug-1
|
The incredible tale of the author who didn't want to do the publisher's job
|
Didier Verna
|
TUGboat
|
1 January 2013
|
| darbon.07.ei
|
The use of levelable regularization functions for MRF restoration of SAR images
|
Jérôme Darbon, Marc Sigelle, Florence Tupin
|
Proceedings of the 19th Symposium SPIE on Electronic Imaging
|
30 September 2006
|
| 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
|
| verna.13.tug-2
|
TiCL: the Prototype (Star TeX: the Next GenerationSeason 2)
|
Didier Verna
|
TUGboat
|
1 January 2013
|
| movn.22.nips
|
Topology-Aware Method to Segment 3D Plan Tissue Images
|
Minh Ôn Vũ Ngoc, Nicolas Boutry, Jonathan Fabrizio
|
36th Conference on Neural Information Processing SystemsAI for Science Workshop
|
25 October 2022
|
| darbon.05.ispa
|
Total Variation Minimization with L^1 Data Fidelity as a Contrast Invariant Filter
|
Jérôme Darbon
|
Proceedings of the 4th International Symposium on Image and Signal Processing and Analysis (ISPA 2005)
|
27 April 2005
|
| kheireddine.21.cp
|
Towards Better Heuristics for Solving Bounded Model Checking Problems
|
Anissa Kheireddine, Étienne Renault, Souheib Baarir
|
Proceedings of the 27th International Conference on Principles and Practice of Constraint Programmings (CP'21)
|
31 August 2021
|
| verna.11.tug
|
Towards LaTeX Coding Standards
|
Didier Verna
|
TUGboat
|
1 January 2011
|
| le-quoc.08.ispec
|
Towards the World-Wide Quantum Network
|
Cuong Le Quoc, Patrick Bellot, Akim Demaille
|
Proceedings of the 4th Information Security Practice and Experience Conference (ISPEC'08)
|
25 January 2008
|
| 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
|
| diop.22.ieeebigdata
|
Trie-based Output Itemset Sampling
|
Lamine Diop, Cheikh Talibouya Diop, Dominique Li, Arnaud Soulet, GiacomettiArnaud
|
2022 IEEE International Conference on Big Data (Big Data)
|
12 December 2022
|
| kheireddine.22.apsec
|
Tuning SAT Solvers for LTL Model Checking
|
Anissa Kheireddine, Étienne Renault, Souheib Baarir
|
Proceedings of the 29th Asia-Pacific Software Engineering Conference (APSEC'22)
|
9 December 2022
|
| buatois.19.brainles
|
Two Stages CNN-Based Segmentation of GliomasUncertainty Quantification and Prediction of Overall Patient Survival
|
Thibault Buatois, Élodie Puybareau, Joseph Chazalon, Guillaume Tochon
|
International MICCAI Brainlesion Workshop
|
3 September 2020
|
| xu.13.ismm
|
Two applications of shape-based morphology: blood vessels segmentation and a generalization of constrained connectivity
|
Yongchao Xu, Thierry Géraud, Laurent Najman
|
Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 11th International Symposium on Mathematical Morphology (ISMM)
|
14 March 2013
|
| newton.16.els
|
Type-Checking of Heterogeneous Sequences in Common Lisp
|
Jim Newton, Akim Demaille, Didier Verna
|
European Lisp Symposium
|
25 March 2016
|
| 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
|
| levillain.11.gretsi
|
Une approche générique du logiciel pour le traitement d'images préservant les performances
|
Roland Levillain, Thierry Géraud, Laurent Najman
|
Proceedings of the 23rd Symposium on Signal and Image Processing (GRETSI)
|
13 May 2011
|
| 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
|
| denise.06.rt
|
Uniform Random Sampling of Traces in Very Large Models
|
Alain Denise, Marie-Claude Gaudel, Sandrine-Dominique Gouraud, Richard Lassaigne, Sylvain Peyronnet
|
Proceedings of the 1st international workshop on Random Testing 2006 (RT06)
|
30 May 2006
|
| dehak.10.odyssey2
|
Unsupervised Speaker Adaptation based on the Cosine Similarity for Text-Independent Speaker Verification
|
S Shum, Najim Dehak, Réda Dehak, J Glass
|
Odyssey The Speaker and Language Recognition
|
1 January 2010
|
| fabre.00.vsmm
|
Urbi et Orbi: unusual design and implementation choices for distributed virtual environments
|
Yoann Fabre, Guillaume Pitel, Didier Verna
|
Proceedings of the 6th International Conference on Virtual Systems and MultiMedia (VSMM)—Intelligent Environments Workshop
|
1 October 2000
|
| boutry.20.brainles
|
Using Separated Inputs for Multimodal Brain Tumor Segmentation with 3D U-Net-like Architectures
|
Nicolas Boutry, Joseph Chazalon, Élodie Puybareau, Guillaume Tochon, Hugues Talbot, Thierry Géraud
|
Proceedings of the 4th International Workshop, BrainLes 2019, Held in Conjunction with MICCAI 2019
|
1 June 2020
|
| 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
|
| chen.21.icdar
|
Vectorization of Historical Maps Using Deep Edge Filtering and Closed Shape Extraction
|
Yizi Chen, Edwin Carlinet, Joseph Chazalon, Clément Mallet, Bertrand Duménieu, Julien Perret
|
Proceedings of the 16th International Conference on Document Analysis and Recognition (ICDAR'21)
|
17 May 2021
|
| geraud.99.gretsi
|
Vers une réutilisabilité totale des algorithmes de traitement d'images
|
Thierry Géraud, Yoann Fabre, Dimitri Papadopoulos-Orfanos, Jean-François Mangin
|
Proceedings of the 17th Symposium on Signal and Image Processing (GRETSI)
|
1 September 1999
|
| verna.01.sci
|
Virtual reality and tele-operation: a common framework
|
Didier Verna
|
Proceedings of the 5th World Multi-Conference on Systemics, Cybernetics and Informatics (SCI)—Emergent Computing and Virtual Engineering
|
1 July 2001
|
| angelidis.01.wscg
|
Visualization issues in virtual environments: from computer graphics techniques to intentional visualization
|
Alexis Angelidis, Geoffroy Fouquier
|
Proceedings of the 9th International Conference in Central Europe on Computer Graphics, Visualization and Computer Vision (WSCG)
|
1 February 2001
|
| raymon.21.urai
|
VizNN: Visual Data Augmentation with Convolutional Neural Networks for Cybersecurity Investigation
|
A Raymond, B Brument, P Parrend
|
Upper-Rhine Artificial Intelligence Symposium
|
1 October 2021
|
