Special

Semantic search

Condition
Printout selection
Options
Parameters [
limit:

The maximum number of results to return
offset:

The offset of the first result
link:

Show values as links
headers:

Display the headers/property names
mainlabel:

The label to give to the main page name
intro:

The text to display before the query results, if there are any
outro:

The text to display after the query results, if there are any
searchlabel:

Text for continuing the search
default:

The text to display if there are no query results
import-annotation:

Additional annotated data are to be copied during the parsing of a subject
propsep:

The separator between the properties of a result entry
valuesep:

The separator between the values for a property of a result
template:

The name of a template with which to display the printouts
named args:

Name the arguments passed to the template
userparam:

A value passed into each template call, if a template is used
class:

An additional CSS class to set for the list
introtemplate:

The name of a template to display before the query results, if there are any
outrotemplate:

The name of a template to display after the query results, if there are any
sep:

The separator between results
Sort options
Delete
Add sorting condition
Title Authors Published in Date
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
mandel.22.aghm GenIDA, une base de données participative internationale permettant de mieux connaître l'histoire naturelle et les comorbidités des formes génétiques de troubles neurodéveloppementaux J-L Mandel, P Burger, A Strehle, F Colin, T Mazzucotelli, N Collot, S Baer, B Durand, A Piton, R Coutelle, E Schaefer, P Parrend, L Faivre, K Jobard Garou, D Geneviève, V Ruault, D Martin, CaumesR., T Smol, J Ghoumid, F Ropert Conquer, J Kummeling, C Ockeloen, T Kleefstra, D Koolen Assises de Génétique Humaine et Médicale 1 February 2022
bensalem.11.sumo Generalized Büchi Automata versus Testing Automata for Model Checking Ala Eddine Ben Salem, Alexandre Duret-Lutz, Fabrice Kordon Proceedings of the second International Workshop on Scalable and Usable Model Checking for Petri Net and other models of Concurrency (SUMO'11) 25 May 2011
baier.19.atva Generic Emptiness Check for Fun and Profit Christel Baier, František Blahoudek, Alexandre Duret-Lutz, Joachim Klein, David Müller, Jan Strejček Proceedings of the 17th International Symposium on Automated Technology for Verification and Analysis (ATVA'19) 29 July 2019
senta.12.els Generic Image Processing with Climb Laurent Senta, Christopher Chedeau, Didier Verna European Lisp Symposium 1 May 2012
darbon.04.ecoopphd Generic algorithmic blocks dedicated to image processing Jérôme Darbon, Thierry Géraud, Patrick Bellot Proceedings of the ECOOP Workshop for PhD Students 10 March 2004
duret.01.coots Generic design patterns in C++ Alexandre Duret-Lutz, Thierry Géraud, Akim Demaille Proceedings of the 6th USENIX Conference on Object-Oriented Technologies and Systems (COOTS) 1 January 2001
darbon.02.ismm Generic implementation of morphological image operators Jérôme Darbon, Thierry Géraud, Alexandre Duret-Lutz Mathematical Morphology, Proceedings of the 6th International Symposium (ISMM) 1 April 2002
geraud.00.europlop Generic programming redesign of patterns Thierry Géraud, Alexandre Duret-Lutz Proceedings of the 5th European Conference on Pattern Languages of Programs (EuroPLoP) 1 July 2000
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
darbon.08.iwcia Global Optimization for First Order Markov Random Fields with Submodular Priors Jérôme Darbon Proceedings of the twelfth International Workshop on Combinatorial Image Analysis (IWCIA'08) 3 January 2008
kirszenberg.21.spin Go2Pins: A Framework for the LTL Verification of Go Programs Alexandre Kirszenberg, Antoine Martin, Hugo Moreau, Etienne Renault Proceedings of the 27th International SPIN Symposium on Model Checking of Software (SPIN'21) 8 June 2021
renault.22.sttt Go2Pins: A framework for the LTL verification of Go programs (Extended Version) Etienne Renault, Alexandre Kirszenberg, Antoine Martin, Hugo Moreau International Journal on Software Tools for Technology Transfer (STTT) 9 December 2022
kirszenberg.21.dgmm Going beyond p-convolutions to learn grayscale morphological operators Alexandre Kirszenberg, Guillaume Tochon, Élodie Puybareau, Jesus Angulo Proceedings of the IAPR International Conference on Discrete Geometry and Mathematical Morphology (DGMM) 16 February 2021
boutry.22.dgmm Gradient Vector Fields of Discrete Morse Functions and Watershed-Cuts Nicolas Boutry, Laurent Najman, Gilles Bertrand Proceedings of the IAPR International Conference on Discrete Geometry and Mathematical Morphology (DGMM) 31 December 2021
droste.22.iandc Greibach normal form for ω-algebraic systems and weighted simple ω-pushdown automata Manfred Droste, Sven Dziadek, Werner Kuich Information and Computation 30 June 2022
hamez.09.phd Génération efficace de grands espaces d'états Alexandre Hamez 1 December 2009
esteban.22.gretsi.2 Généricité dynamique pour des algorithmes morphologiques Baptiste Esteban, Edwin Carlinet, Guillaume Tochon, Didier Verna 28e Colloque sur le traitement du signal et des images 15 June 2022
guillaume.22.egc Hate Speech and Toxic Comment Detection using Transformers Pierre Guillaume, Corentin Duchene, Réda Dehak Workshop EGC 2022 DL for NLP 12 January 2022
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
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
hamez.08.atpn Hierarchical Set Decision Diagrams and Automatic Saturation Alexandre Hamez, Yann Thierry-Mieg, Fabrice Kordon Petri Nets and Other Models of Concurrency –ICATPN 2008 1 March 2008
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
puybareau.19.cbm High Throughput Automated Detection of Axial Malformations in Medaka Embryo Diane Genest, Élodie Puybareau, Marc Léonard, Jean Cousty, Noémie De Crozé, Hugues Talbot Computers in Biology and Medicine 22 January 2019
fahrenberg.22.lites Higher-Dimensional Timed and Hybrid Automata Uli Fahrenberg Leibniz Transactions on Embedded Systems 8 December 2022
avanthey.22.rs How to Boost Close-Range Remote Sensing Courses Using a Serious Game: Uncover in a Fun Way the Complexity and Transversality of Multi-Domain Field Acquisitions Loïca Avanthey, Laurent Beaudoin Remote Sensing 1 January 2022
boutry.19.jmiv How to Make n-D Plain Maps Alexandrov-Well-Composed in a Self-dual Way Nicolas Boutry, Thierry Géraud, Laurent Najman Journal of Mathematical Imaging and Vision 4 February 2019
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
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
beaudoin.22.eit How to help digital-native students to successfully take control of their learning : A return of 8 years of experience on a computer science e-learning platform in higher education Laurent Beaudoin, Loïca Avanthey 1 January 2022
verna.06.ijcs How to make Lisp go faster than C Didier Verna IAENG International Journal of Computer Science 1 December 2006
verna.06.imecs How to make Lisp go faster than C Didier Verna Proceedings of the International MultiConference of Engineers and Computer Scientists 11 June 2007
chazalon.21.icdar.2 ICDAR 2021 Competition on Historical Map Segmentation Joseph Chazalon, Edwin Carlinet, Yizi Chen, Julien Perret, Bertrand Duménieu, Clément Mallet, Thierry Géraud, Vincent Nguyen, Nam Nguyen, Josef Baloun, Ladislav Lenc, Pavel Král Proceedings of the 16th International Conference on Document Analysis and Recognition (ICDAR'21) 17 May 2021
darbon.06.jmiv Image restoration with discrete constrained Total Variation—Part I: Fast and exact optimization Jérôme Darbon, Marc Sigelle Journal of Mathematical Imaging and Vision 24 March 2006
darbon.06.jmivb Image restoration with discrete constrained Total Variation—Part II: Levelable functions, convex priors and non-convex case Jérôme Darbon, Marc Sigelle Journal of Mathematical Imaging and Vision 24 March 2006
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
valais.19.els Implementing Baker's SUBTYPEP decision procedure Léo Valais, Jim Newton, Didier Verna 12th European Lisp Symposium 1 April 2019
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
movn.20.phd Improvement of a text detection chain and the proposition of a new evaluation protocol for text detection algorithms Minh Ôn Vũ Ngoc 18 February 2020
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
renault.20.isse Improving swarming using genetic algorithms Etienne Renault Innovations in Systems and Software Engineering: a NASA journal (ISSE) 2 June 2020
bensalem.14.phd Improving the Model Checking of Stutter-Invariant LTL Properties Ala Eddine Ben Salem 25 September 2014
kamal.22.xkdd Improving the Quality of Rule-Based GNN Explanations Ataollah Kamal, Elouan Vincent, Marc Plantevit, Céline Robardet Workshop on eXplainable Knowledge Discovery in Data Mining. Machine Learning and Principles and Practice of Knowledge Discovery in Databases - International Workshops of ECML PKDD 2022, GrenobleFrance, September 19-23, 2022, Proceedings, Part I 12 September 2022
veyrin-forrer.22.dke In Pursuit of the Hidden Features of GNN's Internal Representations Luca Veyrin-Forrer, Ataollah Kamal, Stefan Duffner, Marc Plantevit, Céline Robardet Data & Knowledge Engineering 26 October 2022
claveirole.05.ciaa Inside Vaucanson Thomas Claveirole, Sylvain Lombardy, Sarah O'Connor, Louis-Noël Pouchet, Jacques Sakarovitch Proceedings of Implementation and Application of Automata10th International Conference (CIAA) 25 May 2005
carlinet.19.csi Intervertebral Disc Segmentation Using Mathematical Morphology—A CNN-Free Approach Edwin Carlinet, Thierry Géraud Proceedings of the 5th MICCAI Workshop & Challenge on Computational Methods and Clinical Applications for Spine Imaging (CSI) 26 November 2018
carlinet.19.ismm Introducing Multivariate Connected Openings and Closings Edwin Carlinet, Thierry Géraud Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 14th International Symposium on Mathematical Morphology (ISMM) 13 March 2019
lombardy.03.ciaa Introducing Vaucanson Sylvain Lombardy, Raphaël Poss, Yann Régis-Gianas, Jacques Sakarovitch Proceedings of Implementation and Application of Automata8th International Conference (CIAA'03) 5 May 2003
lombardy.04.tcs Introducing Vaucanson Sylvain Lombardy, Yann Régis-Gianas, Jacques Sakarovitch Theoretical Computer Science 1 November 2004
movn.21.bmvc Introducing the Boundary-Aware Loss for Deep Image Segmentation Minh Ôn Vũ Ngoc, Yizi Chen, Joseph Chazalon, Edwin Carlinet, Jonathan Fabrizio, Clément Mallet, Thierry Géraud, Nicolas Boutry Proceedings of the 32nd British Machine Vision Conference (BMVC) 28 November 2021