|
Title
|
Authors
|
Published in
|
Date
|
dehak.07.interspeech
|
Linear and Non Linear Kernel GMM SuperVector Machines for Speaker Verification
|
Réda Dehak, Najim Dehak, Patrick Kenny, Pierre Dumouchel
|
Proceedings of the European Conference on Speech Communication and Technologies (Interspeech'07)
|
27 August 2007
|
verna.18.programming
|
Lisp, Jazz, Aikido
|
Didier Verna
|
The Art, Science and Engineering of Programming Journal
|
5 February 2018
|
shi.21.itip
|
Local Intensity Order Transformation for Robust Curvilinear Object Segmentation
|
Tianyi Shi, Nicolas Boutry, Yongchao Xu, Thierry Géraud
|
IEEE Transactions on Image Processing
|
22 March 2022
|
fouquier.07.gbr
|
Local reasoning in fuzzy attribute graphs for optimizing sequential segmentation
|
Geoffroy Fouquier, Jamal Atif, Isabelle Bloch
|
Proceedings of the 6th IAPR TC-15 Workshop on Graph-based Representations in Pattern Recognition (GBR)
|
15 February 2007
|
borgstrom.12.nistsre
|
MITLL 2012 Speaker Recognition Evaluation System Description
|
Jonas Borgstrom, William Campbell, Najim Dehak, Réda Dehak, Daniel Garcia-Romero, Kara Greenfieldand Alan McCree, Doug Reynold, Fred Richardsony, Elliot Singery, Douglas Sturim, Pedro A Torres-Carrasquillo
|
NIST Speaker Recognition Evaluation
|
1 December 2012
|
carlinet.15.itip
|
MToS: A Tree of Shapes for Multivariate Images
|
Edwin Carlinet, Thierry Géraud
|
IEEE Transactions on Image Processing
|
26 October 2015
|
demaille.05.iticse
|
Making Compiler Construction Projects Relevant to Core Curriculums
|
Akim Demaille
|
Proceedings of the Tenth Annual Conference on Innovation and Technology in Computer Science Education (ITICSE'05)
|
6 February 2005
|
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
|
blin.22.tpds
|
Max-Tree Computation on GPUs
|
Nicolas Blin, Edwin Carlinet, Florian Lemaitre, Lionel Lacassagne, Thierry Géraud
|
IEEE Transactions on Parallel and Distributed Systems
|
9 March 2022
|
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
|
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
|
maes.04.mpool
|
Metagene, a C++ meta-program generation tool
|
Francis Maes
|
Proceedings of the Workshop on Multiple Paradigm with OO Languages (MPOOL; in conjunction with ECOOP)
|
25 May 2004
|
verna.18.els
|
Method Combinators
|
Didier Verna
|
11th European Lisp Symposium
|
25 March 2018
|
iferroudjene.22.dami
|
Methods for Explaining Top-N Recommendations Through Subgroup Discovery
|
Mouloud Iferroudjene, Corentin Lonjarret, Céline Robardet, Marc Plantevit, AtzmuellerMartin
|
Data Mining and Knowledge Discovery
|
10 December 2022
|
levillain.09.ismm
|
Milena: Write Generic Morphological Algorithms Once, Run on Many Kinds of Images
|
Roland Levillain, Thierry Géraud, Laurent Najman
|
Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the Ninth International Symposium on Mathematical Morphology (ISMM)
|
9 April 2009
|
bensalem.12.topnoc
|
Model Checking using Generalized Testing Automata
|
Ala Eddine Ben Salem, Alexandre Duret-Lutz, Fabrice Kordon
|
Transactions on Petri Nets and Other Models of Concurrency (ToPNoC VI)
|
1 January 2012
|
bloemen.19.sttt
|
Model checking with generalized Rabin and Fin-less automata
|
Vincent Bloemen, Alexandre Duret-Lutz, Jaco van de Pol
|
International Journal on Software Tools for Technology Transfer
|
1 April 2019
|
demaille.06.isola
|
Modeling of Sensor Networks Using XRM
|
Akim Demaille, Sylvain Peyronnet, Benoît Sigoure
|
Proceedings of the 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA'06)
|
14 September 2006
|
chen.23.phd
|
Modern vectorization and alignement of historical maps: An application to Paris atlas (1789-1950)
|
Yizi Chen
|
|
22 March 2023
|
le-frioux.19.tacas
|
Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless Framework
|
Ludovic Le Frioux, Souheib Baarir, Julien Sopena, Fabrice Kordon
|
Proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'19)
|
13 February 2019
|
newton.16.monad.report
|
Monads in Common Lisp
|
Jim Newton
|
|
18 November 2016
|
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
|
xu.12.icpr
|
Morphological Filtering in Shape Spaces : Applications using Tree-Based Image Representations
|
Yongchao Xu, Thierry Géraud, Laurent Najman
|
Proceedings of the 21st International Conference on Pattern Recognition (ICPR)
|
16 June 2012
|
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
|
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
|
geraud.10.livre
|
Morphologie et algorithmes
|
Thierry Géraud, Hugues Talbot, Marc Van Droogenbroeck
|
Morphologie mathématique 2 : estimation, choix et mise en œuvre
|
1 September 2010
|
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
|
rivet.19.isbi
|
Motion Compensation in Digital Holography for Retinal Imaging
|
Julie Rivet, Guillaume Tochon, Michael Atlan, Serge Meimon, Thierry Géraud, Michel Paques
|
Proceedings of the IEEE International Symposium on Biomedical Imaging (ISBI)
|
19 December 2018
|
fabrizio.12.spic
|
Motion compensation based on Tangent Distance prediction for video compression
|
Jonathan Fabrizio, Séverine Dubuisson, Dominique Béréziat
|
Signal Processing: Image Communication
|
9 February 2012
|
xue.03.icip
|
Multi-band segmentation using morphological clustering and fusion application to color image segmentation
|
Heru Xue, Thierry Géraud, Alexandre Duret-Lutz
|
Proceedings of the IEEE International Conference on Image Processing (ICIP)
|
10 April 2003
|
zhao.22.iros
|
Multi-purpose Tactile Perception Based on Deep Learning in a New Tendon-driven Optical Tactile Sensor
|
Zhou Zhao, Zhenyu Lu
|
2022 IEEE/RSJ International Conference on Intelligent Robots and Systems
|
1 October 2022
|
el-madhoun.22.aina
|
New Security Protocols for Offline Point-of-Sale Machines
|
Nour El Madhoun, Emmanuel Bertin, Mohamad Badra, Guy Pujolle
|
36th International Conference on Advanced Information Networking and Applications (AINA)
|
1 January 2022
|
dolstra.10.jfp
|
NixOS: A purely functional Linux distribution
|
Eelco Dolstra, Andres Löh, Nicolas Pierron
|
Journal of Functional Programming
|
15 October 2010
|
rivet.20.phd
|
Non-iterative methods for image improvement in digital holography of the retina
|
Julie Rivet
|
|
17 July 2020
|
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
|
geraud.00.icpr
|
Obtaining genericity for image processing and pattern recognition algorithms
|
Thierry Géraud, Yoann Fabre, Alexandre Duret-Lutz, Dimitri Papadopoulos-Orfanos, Jean-François Mangin
|
Proceedings of the 15th International Conference on Pattern Recognition (ICPR)
|
1 September 2000
|
duret.00.gcse
|
Olena: a component-based platform for image processingmixing generic, generative and OO programming
|
Alexandre Duret-Lutz
|
Proceedings of the 2nd International Symposium on Generative and Component-Based Software Engineering (GCSE)—Young Researchers Workshop; published in “Net.ObjectDays2000”
|
1 October 2000
|
veyrin-forrer.22.dami
|
On GNN Explainability with Activation Rules
|
Luca Veyrin-Forrer, Ataollah Kamal, Marc Plantevit, Céline Robardet, DuffnerStefan
|
Data Mining and Knowledge Discovery
|
20 October 2022
|
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
|
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
|
akshay.22.stacs
|
On Robustness for the Skolem and Positivity Problems
|
S Akshay, Hugo Bazille, Blaise Genest, Mihir Vahanwala
|
39th International Symposium on Theoretical Aspects of Computer Science STACS
|
7 July 2022
|
bloch.21.dgmm
|
On Some Associations Between Mathematical Morphology and Artificial Intelligence
|
Isabelle Bloch, Samy Blusseau, Ramón Pino Pérez, Élodie Puybareau, Guillaume Tochon
|
Proceedings of the IAPR International Conference on Discrete Geometry and Mathematical Morphology (DGMM)
|
16 February 2021
|
chekroun.06.iciar
|
On a Polynomial Vector Field Model for Shape Representation
|
Mickael Chekroun, Jérôme Darbon, Igor Ciril
|
Proceedings of the International Conference on Image Analysis and Recognition (ICIAR)
|
28 April 2006
|
regisgianas.03.poosc
|
On orthogonal specialization in C++: dealing with efficiency and algebraic abstraction in Vaucanson
|
Yann Régis-Gianas, Raphaël Poss
|
Proceedings of the Parallel/High-performance Object-Oriented Scientific Computing (POOSC; in conjunction with ECOOP)
|
26 May 2003
|
vallade.20.nfm
|
On the Usefulness of Clause Strengthening in Parallel SAT Solving
|
Vincent Vallade, Ludovic Le Frioux, Souheib Baarir, Julien Sopena, Fabrice Kordon
|
Proceedings of the 12th NASA Formal Methods Symposium (NFM'20)
|
1 August 2020
|
le-quoc.07.ntms
|
On the security of quantum networks: a proposal framework and its capacity
|
Cuong Le Quoc, Patrick Bellot, Akim Demaille
|
Proceedings of the 2007 International Conference on New Technologies, Mobility and Security (NTMS'07)
|
10 March 2007
|
duret.09.atva
|
On-the-fly Emptiness Check of Transition-based Streett Automata
|
Alexandre Duret-Lutz, Denis Poitrenaud, Jean-Michel Couvreur
|
Proceedings of the 7th International Symposium on Automated Technology for Verification and Analysis (ATVA'09)
|
1 January 2009
|
boutry.19.dgci
|
One More Step Towards Well-Composedness of Cell Complexes over n-D Pictures
|
Nicolas Boutry, Rocio Gonzalez-Diaz, Maria-Jose Jimenez
|
Proceedings of the 21st International Conference on Discrete Geometry for Computer Imagery (DGCI)
|
18 June 2019
|
Xu.23.sac
|
Optimization of the Product Configuration System of Renault
|
Hao Xu, Souheib Baarir, Tewfik Ziadi, Siham EssodaiguiYves Bossu, Lom Messan Hillah
|
SAC '23: The 38th ACM/SIGAPP Symposium on Applied Computing
|
3 April 2023
|
geraud.12.hdr
|
Outil logiciel pour le traitement d'images: Bibliothèque, paradigmes, types et algorithmes
|
Thierry Géraud
|
|
1 June 2012
|