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
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
boutry.21.dgmm.2 A New Matching Algorithm between Trees of Shapes and its Application to Brain Tumor Segmentation Nicolas Boutry, Thierry Géraud Proceedings of the IAPR International Conference on Discrete Geometry and Mathematical Morphology (DGMM) 2 March 2021
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
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
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
espie.21.eurocon Debug Packages in OpenBSD Marc Espie EuroBSDCon 2021 1 January 2021
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
nejati.20.cp A Machine Learning Based Splitting Heuristic for Divide-and-Conquer Solvers Saeed Nejati, Ludovic Le Frioux, Vijay Ganesh Proceedings of the 26 th International Conference on Principles and Practice of Constraint Programming (CP'20) 31 December 2020
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
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
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
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
boutry.20.iwcia2 A 4D Counter-Example Showing that DWCness Does Not Imply CWCness in n-D Nicolas Boutry, Rocio Gonzalez-Diaz, Laurent Najman, Thierry Géraud Combinatorial Image Analysis: Proceedings of the 20th International Workshop, IWCIA 2020, Novi Sad, Serbia, July 16–18, 2020 21 July 2020
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
renkin.20.atva Practical “Paritizing” of Emerson–Lei Automata Florian Renkin, Alexandre Duret-Lutz, Adrien Pommellet Proceedings of the 18th International Symposium on Automated Technology for Verification and Analysis (ATVA'20) 7 July 2020
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
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
blahoudek.20.cav Seminator 2 Can Complement Generalized Büchi Automata via Improved Semi-Determinization František Blahoudek, Alexandre Duret-Lutz, Jan Strejček Proceedings of the 32nd International Conference on Computer-Aided Verification (CAV'20) 14 May 2020
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
drumetz.20.icassp Learning Endmember Dynamics in Multitemporal Hyperspectral Data using a State-Space Model Formulation Lucas Drumetz, Mauro Dalla Mura, Guillaume Tochon, Ronan Fablet Proceedings of the 45th IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP) 24 January 2020