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
vallade.22.setta Diversifying a Parallel SAT Solver with Bayesian Moment Matching V Vallade, S Nejati, J Sopena, V Ganesh, S Baarir Symposium on Dependable Software Engineering TheoriesTools and Applications 8 December 2022
zhao.20.icpr.2 Do not Treat Boundaries and Regions Differently: An Example on Heart Left Atrial Segmentation Zhou Zhao, Nicolas Boutry, Élodie Puybareau, Thierry Géraud Proceedings of the 25th International Conference on Pattern Recognition (ICPR) 2 November 2020
movn.19.icdarw Document detection in videos captured by smartphones using a saliency-based method Minh Ôn Vũ Ngoc, Jonathan Fabrizio, Thierry Géraud International Conference on Document Analysis and Recognition Workshops (ICDARW) 20 September 2018
geraud.03.grec Document type recognition using evidence theory Thierry Géraud, Geoffroy Fouquier, Quoc Peyrot, Nicolas Lucas, Franck Signorile Proceedings of the 5th IAPR International Workshop on Graphics Recognition (GREC) 29 April 2003
or.22.transparence Données, Transparence et Démocratie Olivier Ricou 1 May 2022
remil.22.egc Découverte de sous-groupes de prédictions interprétables pour le triage d'incidents Youcef Remil, Anes Bendimerad, Marc Plantevit, Céline Robardet, Mehdi Kaytoue Extraction et Gestion des Connaissances, EGC 2022Blois, France, 24 au 28 janvier 2022 24 January 2022
perrot.06.nist ENST-IRCGN System Description Patrick Perrot, Réda Dehak, Gérard Chollet NIST SRE'06 Workshop: speaker recognition evaluation campaign 30 May 2006
verna.22.els ETAP: Experimental Typesetting Algorithms Platform Didier Verna 15th European Lisp Symposium 1 March 2022
berger.07.icip Effective Component Tree Computation with Application to Pattern Recognition in Astronomical Imaging Christophe Berger, Thierry Géraud, Roland Levillain, Nicolas Widynski, Anthony Baillard, Emmanuel Bertin Proceedings of the IEEE International Conference on Image Processing (ICIP) 3 May 2007
renkin.22.forte Effective Reductions of Mealy Machines Florian Renkin, Philipp Schlehuber-Caissier, Alexandre Duret-Lutz, Adrien Pommellet Proceedings of the 42nd International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE'22) 26 April 2022
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
newton.16.rte.report Efficient Dynamic Type Checking of Heterogeneous Sequences Jim Newton 22 February 2016
lazzara.13.ijdar Efficient Multiscale Sauvola's Binarization Guillaume Lazzara, Thierry Géraud International Journal of Document Analysis and Recognition (IJDAR) 25 April 2013
tschora.22.apen Electricity Price Forecasting on the Day-Ahead Market using Machine Learning Léonard Tschora, Erwan Pierre, Marc Plantevit, Céline Robardet Applied Energy 10 March 2022
dziadek.23.fm Energy Problems in Finite and Timed Automata with Büchi Conditions Sven Dziadek, Uli Fahrenberg, Philipp Schlehuber-Caissier International Symposium on Formal Methods (FM) 8 December 2022
boutry.20.jmiv.2 Equivalence between Digital Well-Composedness and Well-Composedness in the Sense of Alexandrov on n-D Cubical Grids Nicolas Boutry, Laurent Najman, Thierry Géraud Journal of Mathematical Imaging and Vision 3 September 2020
darbon.01.ei Error correcting code performance for watermark protection Jérôme Darbon, Bulent Sankur, Henri Maître Proceedings of the 13th Symposium SPIE on Electronic Imaging—-Security and Watermarking of Multimedia Contents III (EI27) 1 January 2001
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
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
esteban.19.caip Estimating the noise level function with the tree of shapes and non-parametric statistics Baptiste Esteban, Guillaume Tochon, Thierry Géraud Proceedings of the 18th International Conference on Computer Analysis of Images and Patterns (CAIP) 7 June 2019
esteban.22.gretsi.1 Estimation de la fonction de niveau de bruit pour des images couleurs en utilisant la morphologie mathématique Baptiste Esteban, Guillaume Tochon, Edwin Carlinet, Didier Verna 28e Colloque sur le traitement du signal et des images 15 June 2022
esteban.19.gretsi Estimation du niveau de bruit par arbre des formes et statistiques non paramétriques Baptiste Esteban, Guillaume Tochon, Thierry Géraud Proceedings of the 27st Symposium on Signal and Image Processing (GRETSI) 14 June 2019
esteban.22.icpr Estimation of the noise level function for color images using mathematical morphology and non-parametric statistics Baptiste Esteban, Guillaume Tochon, Edwin Carlinet, Didier Verna Proceedings of the 26th International Conference on Pattern Recognition 8 April 2022
boutry.20.iwcia1 Euler Well-Composedness Nicolas Boutry, Rocio Gonzalez-Diaz, Maria-Jose Jimenez, Eduardo Paluzo-Hildago Combinatorial Image Analysis: Proceedings of the 20th International Workshop, IWCIA 2020, Novi Sad, Serbia, July 16–18, 2020 21 July 2020
cadilhac.06.avocs Evaluating complex MAC protocols for sensor networks with APMC Michaël Cadilhac, Thomas Hérault, Richard Lassaigne, Sylvain Peyronnet, Sebastien Tixeuil Proceedings of the 6th International Workshop on Automated Verification of Critical Systems (AVoCS) 27 July 2006
rida.21.cn Evaluation of Anomaly Detection for Cybersecurity Using Inductive Node Embedding with Convolutional Graph Neural Networks A Abou Rida, P Parrend, R Amhaz Complex Network 2021 1 October 2021
darbon.04.iwcia Exact optimization of discrete constrained total variation minimization problems Jérôme Darbon, Marc Sigelle Proceedings of the 10th International Workshop on Combinatorial Image Analysis (IWCIA) 1 September 2004
darbon.04.tr Exact optimization of discrete constrained total variation minimization problems Jérôme Darbon, Marc Sigelle 1 October 2004
atlan.20.spie Experimental digital Gabor hologram rendering of C. elegans worms by a model-trained convolutional neural network (Conference Presentation) Michael Atlan, Julie Rivet, Antoine Taliercio, Guillaume Tochon, Nicolas Boutry, Jean-Pierre Huignard Label-free Biomedical Imaging and Sensing (LBIS) 2020 1 January 2020
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
duret.01.ae Expression templates in Ada 95 Alexandre Duret-Lutz Proceedings of the 6th International Conference on Reliable Software Technologies (Ada-Europe) 1 May 2001
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
verna.12.dsl Extensible languages: blurring the distinction between DSLs and GPLs Didier Verna Formal and Practical Aspects of Domain-Specific Languages: Recent Developments 1 September 2012
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
zhao.20.icpr.1 FOANet: A Focus of Attention Network with Application to Myocardium Segmentation Zhou Zhao, Nicolas Boutry, Élodie Puybareau, Thierry Géraud Proceedings of the 25th International Conference on Pattern Recognition (ICPR) 2 November 2020
geraud.03.nsip Fast Road Network Extraction in Satellite Images using Mathematical Morphology and MRF Thierry Géraud Proceedings of the EURASIP Workshop on Nonlinear Signal and Image Processing (NSIP) 31 January 2003
darbon.06.siam Fast and Exact Discrete Image Restoration Based on Total Variation and on Its Extensions to Levelable Potentials Jérôme Darbon, Marc Sigelle SIAM Conference on Imaging Sciences 22 February 2006
geraud.04.iccvg Fast color image segmentation based on levellings in feature Space Thierry Géraud, Giovanni Palma, Niels Van Vliet Computer Vision and Graphics—International Conference on Computer Vision and Graphics (ICCVG), Warsaw, PolandSeptember 2004 11 August 2004
geraud.04.jasp Fast road network extraction in satellite images using mathematical morphology and Markov random fields Thierry Géraud, Jean-Baptiste Mouret EURASIP Journal on Applied Signal Processing 5 September 2004
fahrenberg.22.scp Featured Games Uli Fahrenberg, Axel Legay Science of Computer Programming 1 November 2022
carlinet.19.gretsi Filtres connexes multivariés par fusion d'arbres de composantes Edwin Carlinet, Thierry Géraud Proceedings of the 27st Symposium on Signal and Image Processing (GRETSI) 14 June 2019
newton.16.dag.report Finding Maximal Common Joins in a DAG Jim Newton 17 November 2016
newton.19.els Finite Automata Theory Based Optimization of Conditional Variable Binding Jim Newton, Didier Verna European Lisp Symposium 14 January 2019
sennoussaoui.12.odyssey First Attempt at Boltzmann Machines for Speaker Recognition M Sennoussaoui, Najim Dehak, P Kenny, Réda Dehak, P Dumouchel Odyssey Speaker and Language Recognition Workshop 1 June 2012
tschora.23.ida Forecasting Electricity Prices: An Optimize Then Predict-Based Approach Léonard Tschora, Erwan Pierre, Marc Plantevit, Céline Robardet Advances in Intelligent Data Analysis XXI 10 April 2023
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
duret.22.cav From Spot 2.0 to Spot 2.10: What's New? Alexandre Duret-Lutz, Etienne Renault, Maximilien Colange, Florian Renkin, Alexandre Gbaguidi Aisse, Philipp Schlehuber-Caissier, Thomas Medioni, Antoine Martin, Jérôme Dubois, Clément Gillard, Henrich Lauko Proceedings of the 34th International Conference on Computer Aided Verification (CAV'22) 6 June 2022
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
dehak.11.taslp Front-End Factor Analysis For Speaker Verification Najim Dehak, P Kenny, Réda Dehak, P Dumouchel, P Ouellet IEEE Transactions on Audio, Speech, and Language Processing 1 May 2011
bloch.05.prl Fusion of spatial relationships for guiding recognitionexample of brain structure recognition in 3D MRI Isabelle Bloch, Olivier Colliot, Oscar Camara, Thierry Géraud Pattern Recognition Letters 9 July 2004