Semantic search

This page or action requires Javascript to work, please enable Javascript in your browser or use a browser where this is supported so that functionality can be served and is provided as requested. For further assistance, please have a look at the noscript help page.

Options | Search Clear all entries |

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

ResultCodeDebugExtra

To embed this query inline into a wiki page use the code below.

{{#ask: [[Category:Publications]]
 |?Has bibtex id
 |?Has author
 |?Has title
 |?Published in
 |?News date#MEDIAWIKI=Date
 |format=template
 |limit=50
 |offset=150
 |sort=
 |order=asc
 |mainlabel=
 |template= PublicationRow
 |introtemplate= PublicationRowIntro
 |outrotemplate= PublicationRowOutro
 |sep=
}}

Results 151 – 200 previous 50 20 50 100 250 500 next 50

JSON CSV RSS RDF

Query log

{
    "query_string": "[[Category:Publications]]",
    "query_source": "SMWSQLStore",
    "query_time": "0.0436",
    "from_cache": false
}

	Title	Authors	Published in	Date
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
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

Special

Semantic search

Query log