Semantic search

Printout selection
Parameters [

The maximum number of results to return

The offset of the first result

Show values as links

Display the headers/property names

The label to give to the main page name

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

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

Text for continuing the search

The text to display if there are no query results

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

The separator between the properties of a result entry

The separator between the values for a property of a result

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

Name the arguments passed to the template

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

An additional CSS class to set for the list

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

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

The separator between results
Sort options
Add sorting condition
Title Authors Published in Date
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) 25 October 2018
puybareau.18.stacom Left Atrial Segmentation In a Few Seconds Using Fully Convolutional Network and Transfer Learning Élodie Puybareau, Zhou Zhao, Younes Khoudli, Yongchao Xu, Thierry Géraud, Edwin Carlinet, Jérôme Lacotte Proceedings of the Workshop on Statistical Atlases and Computational Modelling of the Heart (STACOM 2018), in conjunction with MICCAI 25 October 2018
rivet.19.spie Deep Neural Networks for Aberrations Compensation in Digital Holographic Imaging of the Retina Julie Rivet, Guillaume Tochon, Serge Meimon, Michel Pâques, Thierry Géraud, Michael Atlan Proceedings of the SPIE Conference on Adaptive Optics and Wavefront Control for Biological Systems V 25 October 2018
newton.18.meta.pdf Recognizing heterogeneous sequences by rational type expression Jim Newton, Didier Verna Proceedings of the Meta'18: Workshop on Meta-Programming Techniques and Reflection 14 September 2018
newton.18.tocl A Theoretical and Numerical Analysis of the Worst-Case Size of Reduced Ordered Binary Decision Diagrams Jim Newton, Didier Verna ACM Transactions on Computational Logic 28 August 2018
boutry.18.is Weakly Well-Composed Cell Complexes over nD Pictures Nicolas Boutry, Rocio Gonzalez-Diaz, Maria-Jose Jimenez Information Sciences 4 July 2018
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
michaud.18.synt Reactive Synthesis from LTL Specification with Spot Thibaud Michaud, Maximilien Colange Proceedings of the 7th Workshop on Synthesis, SYNT@CAV 2018 7 June 2018
boldo.18.arith A Formally-Proved Algorithm to Compute the Correct Average of Decimal Floating-Point Numbers Sylvie Boldo, Florian Faissole, TourneurVincent 25th IEEE Symposium on Computer Arithmetic 1 June 2018
carlinet.18.icip The Tree of Shapes Turned into a Max-Tree: A Simple and Efficient Linear Algorithm Edwin Carlinet, Thierry Géraud, Sébastien Crozet Proceedings of the 24th IEEE International Conference on Image Processing (ICIP) 10 May 2018