|
Title
|
Authors
|
Published in
|
Date
|
el-madhoune.21.csnet
|
A Secure Blockchain-Based Architecture for the COVID-19 Data Network
|
Darine Al-Mohtar, Amani Ramzi Daou, Nour El Madhoun, Rachad Maallawi
|
2021 5th Cyber Security in Networking Conference (CSNet)
|
1 October 2021
|
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
|
demaille.08.iticse
|
A Set of Tools to Teach Compiler Construction
|
Akim Demaille, Roland Levillain, Benoît Perrot
|
Proceedings of the Thirteenth Annual Conference on Innovation and Technology in Computer Science Education (ITICSE'08)
|
29 March 2008
|
ricou.08.eceg
|
A Survey of French Local e-Democracy
|
Olivier Ricou
|
Proceedings of the 8th European Conference on e-Government (ECEG)
|
1 July 2008
|
zhao.19.stacom
|
A Two-Stage Temporal-Like Fully Convolutional Network Framework for Left Ventricle Segmentation and Quantification on MR Images
|
Zhou Zhao, Nicolas Boutry, Élodie Puybareau, Thierry Géraud
|
Statistical Atlases and Computational Models of the Heart. Multi-Sequence CMR Segmentation, CRT-EPiggy and LV Full Quantification Challenges—10th International WorkshopSTACOM 2019, Held in Conjunction with MICCAI 2019Shenzhen, China, October 13, 2019, Revised Selected Papers
|
7 February 2020
|
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
|
darbon.05.isvc
|
A Vectorial Self-Dual Morphological Filter based on Total Variation Minimization
|
Jérôme Darbon, Sylvain Peyronnet
|
Proceedings of the First International Conference on Visual Computing
|
20 August 2005
|
carlinet.13.ismm
|
A comparison of many max-tree computation algorithms
|
Edwin Carlinet, Thierry Géraud
|
Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 11th International Symposium on Mathematical Morphology (ISMM)
|
14 March 2013
|
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
|
fabre.00.vw
|
A framework to dynamically manage distributed virtual environments
|
Yoann Fabre, Guillaume Pitel, Laurent Soubrevilla, Emmanuel Marchand, Thierry Géraud, Akim Demaille
|
Proceedings of the 2nd International Conference on Virtual Worlds (VW)
|
1 July 2000
|
grosicki.04.icc
|
A novel method to fight the non line of sight error in AOA measurements for mobile location
|
Emmanuel Grosicki, Karim Abed-Meraim, Réda Dehak
|
Proceedings of the IEEE International Conference on Communications (ICC)
|
1 June 2004
|
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
|
burrus.03.mpool
|
A static C++ object-oriented programming (SCOOP) paradigm mixing benefits of traditional OOP and generic programming
|
Nicolas Burrus, Alexandre Duret-Lutz, Thierry Géraud, David Lesage, Raphaël Poss
|
Proceedings of the Workshop on Multiple Paradigm with Object-Oriented Languages (MPOOL)
|
29 October 2003
|
herault.06.qest
|
APMC 3.0: Approximate verification of Discrete and Continuous Time Markov Chains
|
Thomas Hérault, Richard Lassaigne, Sylvain Peyronnet
|
Proceedings of Qest 2006
|
1 January 2006
|
verna.00.vsmm
|
Action recognition: how intelligent virtual environments can ease human-machine interaction
|
Didier Verna
|
Proceedings of the 6th International Conference on Virtual Systems and MultiMedia (VSMM)—Intelligent Environments Workshop
|
1 October 2000
|
baillard.07.gretsi
|
Algorithme de calcul de l'arbre des composantes avec applications à la reconnaissance des formes en imagerie satellitaire
|
Anthony Baillard, Christophe Berger, Emmanuel Bertin, Thierry Géraud, Roland Levillain, Nicolas Widynski
|
Proceedings of the 21st Symposium on Signal and Image Processing (GRETSI)
|
11 May 2007
|
lesage.06.isvc
|
An Efficient Algorithm for Connected Attribute Thinnings and Thickenings
|
David Lesage, Jérôme Darbon, Ceyhun Burak Akgül
|
Proceedings of the second International Conference on Visual Computing
|
9 August 2006
|
boutry.19.ismm
|
An Equivalence Relation between Morphological Dynamics and Persistent Homology in 1D
|
Nicolas Boutry, Thierry Géraud, Laurent Najman
|
Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 14th International Symposium on Mathematical Morphology (ISMM)
|
13 March 2019
|
boutry.21.dgmm.1
|
An Equivalence Relation between Morphological Dynamics and Persistent Homology in n-D
|
Nicolas Boutry, Thierry Géraud, Laurent Najman
|
Proceedings of the IAPR International Conference on Discrete Geometry and Mathematical Morphology (DGMM)
|
2 March 2021
|
roynard.18.rrpr
|
An Image Processing Library in Modern C++: Getting Simplicity and Efficiency with Generic Programming
|
Michaël Roynard, Edwin Carlinet, Thierry Géraud
|
Proceedings of the 2nd Workshop on Reproducible Research in Pattern Recognition (RRPR 2018)
|
25 October 2018
|
maldonado-ruiz.21.ifip
|
An Innovative and Decentralized Identity Framework Based on Blockchain Technology
|
Daniel Maldonado-Ruiz, Jenny Torres, El MadhounNour, Mohamad Badra
|
2021 11th IFIP International Conference on New Technologies, Mobility and Security (NTMS)
|
1 April 2021
|
demaille.08.fsmnlp
|
An XML format proposal for the description of weighted automata, transducers, and regular expressions
|
Akim Demaille, Alexandre Duret-Lutz, Florian Lesaint, Sylvain Lombardy, Jacques Sakarovitch, Florent Terrones
|
Post-proceedings of the seventh international workshop on Finite-State Methods and Natural Language Processing (FSMNLP'08)
|
28 July 2008
|
fabre.00.egve
|
An asynchronous architecture to manage communicationdisplay, and user interaction in distributed virtual environments
|
Yoann Fabre, Guillaume Pitel, Laurent Soubrevilla, Emmanuel Marchand, Thierry Géraud, Akim Demaille
|
Virtual Environments 2000, Proceedings of the 6th Eurographics Workshop on Virtual Environments (EGVE)
|
1 June 2000
|
darbon.05.eusipco
|
An efficient algorithm for attribute openings and closings
|
Jérôme Darbon, Ceyhun Burak Akgül
|
Proceedings of the 13th European Signal Processing Conference (EUSIPCO)
|
14 April 2005
|
geraud.01.ai
|
Applying generic programming to image processing
|
Thierry Géraud, Yoann Fabre, Alexandre Duret-Lutz
|
Proceedings of the IASTED International Conference on Applied Informatics (AI)—Symposium on Advances in Computer Applications
|
1 February 2001
|
newton.18.els
|
Approaches in Typecase Optimization
|
Jim Newton, Didier Verna
|
European Lisp Symposium
|
5 April 2018
|
hemon.08.sagt
|
Approximate Nash Equilibria for Multi-Player Games
|
Sébastien Hémon, Michel de Rougemont, Miklos Santha
|
1st International Symposium on Algorithmic Games Theory
|
18 January 2008
|
darbon.06.iccp
|
Approximate Probabilistic Model Checking for Programs
|
Jérôme Darbon, Richard Lassaigne, Sylvain Peyronnet
|
Proceedings of the IEEE 2nd International Conference on Intelligent Computer Communication and Processing (ICCP'06)
|
27 July 2006
|
geraud.99.cimaf
|
Atlas-guided recognition of cerebral structures in MRI using fusion of fuzzy structural information
|
Thierry Géraud, Isabelle Bloch, Henri Maître
|
Proceeding of CIMAF Symposium on Artificial Intelligence
|
1 January 1999
|
david.06.iccp
|
Attribute Grammars for Modular Disambiguation
|
Valentin David, Akim Demaille, Olivier Gournet
|
Proceedings of the IEEE 2nd International Conference on Intelligent Computer Communication and Processing (ICCP'06)
|
12 July 2006
|
grelot.21.cesar
|
Automation of Binary Analysis: From Open Source Collection to Threat Intelligence
|
Frederic Grelot, Sébastien Larinier, SalmonMarie
|
Proceedings of the 28th C&ESAR
|
1 January 2021
|
verna.06.ecoop
|
Beating C in Scientific Computing Applications
|
Didier Verna
|
Third European Lisp Workshop at ECOOP
|
11 July 2006
|
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
|
verna.08.els
|
Binary Methods Programming: the CLOS Perspective
|
Didier Verna
|
Proceedings of the First European Lisp Symposium
|
31 March 2009
|
verna.11.onward
|
Biological Realms in Computer Science: the Way You Don't (Want To) Think About Them
|
Didier Verna
|
Onward! 2011
|
1 January 2011
|
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
|
verna.09.ilc
|
CLOS Efficiency: Instantiation
|
Didier Verna
|
Proceedings of the International Lisp Conference
|
13 January 2009
|
verna.07.imecs
|
CLOS solutions to binary methods
|
Didier Verna
|
Proceedings of the International MultiConference of Engineers and Computer Scientists
|
22 January 2007
|
verna.10.els
|
CLoX: Common Lisp objects for XEmacs
|
Didier Verna
|
Proceedings of the 3rd European Lisp Symposium
|
9 March 2010
|
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
|
dehak.09.interspeechb
|
Cepstral and Long-Term Features for Emotion Recognition
|
Pierre Dumouchel, Najim Dehak, Yazid Attabi, Réda Dehak, Narjès Boufaden
|
Interspeech
|
22 June 2009
|
verna.10.tug
|
Classes, Styles, Conflicts: the Biological Realm of LaTeX
|
Didier Verna
|
TUGboat
|
9 March 2010
|
geraud.01.icip
|
Color image segmentation based on automatic morphological clustering
|
Thierry Géraud, Pierre-Yves Strub, Jérôme Darbon
|
Proceedings of the IEEE International Conference on Image Processing (ICIP)
|
1 October 2001
|
chen.21.dgmm
|
Combining Deep Learning and Mathematical Morphology for Historical Map Segmentation
|
Yizi Chen, Edwin Carlinet, Joseph Chazalon, Clément Mallet, Bertrand Duménieu, Julien Perret
|
Proceedings of the IAPR International Conference on Discrete Geometry and Mathematical Morphology (DGMM)
|
16 February 2021
|
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
|
poitrenaud.19.icfem
|
Combining Parallel Emptiness Checks with Partial Order Reductions
|
Denis Poitrenaud, Etienne Renault
|
Proceedings of the 21st International Conference on Formal Engineering Methods (ICFEM'19)
|
2 August 2019
|
vallade.20.sat
|
Community and LBD-based Clause Sharing Policy for Parallel SAT Solving
|
Vincent Vallade, Ludovic Le Frioux, Souheib Baarir, Julien Sopena, Vijay Ganesh, Fabrice Kordon
|
Proceedings of the 23rd International Conference on Theory and Applications of Satisfiability Testing (SAT'20)
|
1 June 2020
|
newton.22.ifl
|
Comparing Use-Cases of Tree-Fold vs Fold-Left, How to Fold and Color a Map
|
Jim Newton
|
Symposium on Implementation and Application of Functional Languages
|
31 August 2022
|
dehak.08.odysseyb
|
Comparison Between Factor Analysis and GMM Support Vector Machines for Speaker Verification
|
Najim Dehak, Réda Dehak, Patrick Kenny, Pierre Dumouchel
|
Proceedings of the Speaker and Language Recognition Workshop (IEEE-Odyssey 2008)
|
25 September 2007
|
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
|