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=230
 |sort= News date
 |order= descending
 |mainlabel=
 |template= PublicationRow
 |introtemplate= PublicationRowIntro
 |outrotemplate= PublicationRowOutro
 |sep=
}}

Results 231 – 280 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.0273",
    "from_cache": false
}

	Title	Authors	Published in	Date
babiak.15.cav	The Hanoi Omega-Automata Format	Tomáš Babiak, František Blahoudek, Alexandre Duret-Lutz, Joachim Klein, Jan Kv retínský, David Müller, David Parker, Jan Strejček	Proceedings of the 27th International Conference on Computer Aided Verification (CAV'15)	27 April 2015
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
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
carlinet.15.ismm	A Color Tree of Shapes with Illustrations on FilteringSimplification, and Segmentation	Edwin Carlinet, Thierry Géraud	Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 12th International Symposium on Mathematical Morphology (ISMM)	7 April 2015
geraud.15.ismm	Self-Duality and Digital Topology: Links Between the Morphological Tree of Shapes and Well-Composed Gray-Level Images	Thierry Géraud, Edwin Carlinet, Sébastien Crozet	Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 12th International Symposium on Mathematical Morphology (ISMM)	7 April 2015
bensalem.15.lata	Single-pass Testing Automata for LTL Model Checking	Ala Eddine Ben Salem	Proceedings of the 9th International Conference on Language and Automata Theory and Applications (LATA'15)	1 March 2015
dubuisson.15.visapp	A Self-Adaptive Likelihood Function for Tracking with Particle Filter	Séverine Dubuisson, Myriam Robert-Seidowsky, Jonathan Fabrizio	Proceedings of the 10th International Conference on Computer Vision Theory and Applications (VISAPP)	1 March 2015
robert-seidowsky.15.visapp	TextTrail: A Robust Text Tracking Algorithm In Wild Environments	Myriam Robert-Seidowsky, Jonathan Fabrizio, Séverine Dubuisson	Proceedings of the 10th International Conference on Computer Vision Theory and Applications (VISAPP)	1 March 2015
renault.15.tacas	Parallel Explicit Model Checking for Generalized Büchi Automata	Etienne Renault, Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud	Proceedings of the 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'15)	13 January 2015
verna.15.cop	Context-Oriented Image Processing	Didier Verna, François Ripault	Context-Oriented Programming Workshop	1 January 2015
renault.14.phd	Contribution aux tests de vacuité pour le model checking explicite	Etienne Renault		5 December 2014
xu.14.itip	Tree-Based Morse Regions: A Topological Approach to Local Feature Detection	Yongchao Xu, Thierry Géraud, Pascal Monasse, Laurent Najman	IEEE Transactions on Image Processing	3 October 2014
bensalem.14.phd	Improving the Model Checking of Stutter-Invariant LTL Properties	Ala Eddine Ben Salem		25 September 2014
levillain.14.ciarp	Practical Genericity: Writing Image Processing Algorithms Both Reusable and Efficient	Roland Levillain, Thierry Géraud, Laurent Najman, Edwin Carlinet	Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications – Proceedings of the 19th Iberoamerican Congress on Pattern Recognition (CIARP)	10 September 2014
widynski.14.ius	Speckle Spot Detection in Ultrasound Images: Application to Speckle Reduction and Speckle Tracking	Nicolas Widynski, Thierry Géraud, Damien Garcia	Proceedings of the IEEE International Ultrasonics Symposium (IUS)	10 September 2014
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
blahoudek.14.spin	Is There a Best Büchi Automaton for Explicit Model Checking?	František Blahoudek, Alexandre Duret-Lutz, Mojmír Křetínský, Jan Strejček	Proceedings of the 21th International SPIN Symposium on Model Checking of Software (SPIN'14)	16 June 2014
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
carlinet.14.itip	A Comparative Review of Component Tree Computation Algorithms	Edwin Carlinet, Thierry Géraud	IEEE Transactions on Image Processing	16 June 2014
geraud.14.icip	A Morphological Method for Music Score Staff Removal	Thierry Géraud	Proceedings of the 21st International Conference on Image Processing (ICIP)	3 June 2014
boutry.14.dgci	On Making nD Images Well-Composed by a Self-Dual Local Interpolation	Nicolas Boutry, Thierry Géraud, Laurent Najman	Proceedings of the 18th International Conference on Discrete Geometry for Computer Imagery (DGCI)	28 May 2014
fabrizio.14.icip	A precise skew estimation algorithm for document images using KNN clustering and Fourier transform	Jonathan Fabrizio	Proceedings of the 21st International Conference on Image Processing (ICIP)	26 May 2014
xu.14.icip	Meaningful disjoint level lines selection	Yongchao Xu, Edwin Carlinet, Thierry Géraud, Laurent Najman	Proceedings of the 21st International Conference on Image Processing (ICIP)	26 May 2014
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
crozet.14.icip	A First Parallel Algorithm to Compute the Morphological Tree of Shapes of nD Images	Sébastien Crozet, Thierry Géraud	Proceedings of the 21st International Conference on Image Processing (ICIP)	26 May 2014
demaille.14.ciaa	A Type System for Weighted Automata and Rational Expressions	Akim Demaille, Alexandre Duret-Lutz, Sylvain Lombardy, Luca Saiu, Jacques Sakarovitch	Proceedings of Implementation and Application of Automata19th International Conference (CIAA'14)	20 May 2014
carlinet.14.icpr	A Morphological Tree of Shapes for Color Images	Edwin Carlinet, Thierry Géraud	Proceedings of the 22nd International Conference on Pattern Recognition (ICPR)	2 April 2014
bensalem.14.tacas	Symbolic Model Checking of Stutter Invariant Properties Using Generalized Testing Automata	Ala Eddine Ben Salem, Alexandre Duret-Lutz, Fabrice Kordon, Yann Thierry-Mieg	Proceedings of the 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'14)	1 April 2014
baarir.14.forte	Mechanizing the Minimization of Deterministic Generalized Büchi Automata	Souheib Baarir, Alexandre Duret-Lutz	Proceedings of the 34th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE'14)	21 March 2014
duret.14.ijccbs	LTL Translation Improvements in Spot 1.0	Alexandre Duret-Lutz	International Journal on Critical Computer-Based Systems	6 March 2014
xu.13.phd	Tree-based shape spaces: Definition and applications in image processing and computer vision	Yongchao Xu		12 December 2013
lazzara.14.das	Planting, Growing and Pruning Trees: Connected Filters Applied to Document Image Analysis	Guillaume Lazzara, Thierry Géraud, Roland Levillain	Proceedings of the 11th IAPR International Workshop on Document Analysis Systems (DAS)	10 December 2013
fabrizio.13.paa	Text detection in street level image	Jonathan Fabrizio, Beatriz Marcotegui, Matthieu Cord	Pattern Analysis and Applications	5 November 2013
renault.13.lpar	Three SCC-based Emptiness Checks for Generalized Büchi Automata	Etienne Renault, Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud	Proceedings of the 19th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'13)	9 October 2013
duret.13.atva	Manipulating LTL formulas using Spot 1.0	Alexandre Duret-Lutz	Proceedings of the 11th International Symposium on Automated Technology for Verification and Analysis (ATVA'13)	15 June 2013
fronc.13.atva	LTL Model Checking with Neco	Łukasz Fronc, Alexandre Duret-Lutz	Proceedings of the 11th International Symposium on Automated Technology for Verification and Analysis (ATVA'13)	15 June 2013
shum.13.taslp	Unsupervised Methods for Speaker Diarization: An Integrated and Iterative Approach	S Shum, Najim Dehak, Réda Dehak, J Glass	IEEE Transactions on Audio, Speech, and Language Processing	7 June 2013
xu.13.icip	Salient Level Lines Selection Using the Mumford-Shah Functional	Yongchao Xu, Thierry Géraud, Laurent Najman	Proceedings of the 20th International Conference on Image Processing (ICIP)	27 May 2013
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
babiak.13.spin	Compositional Approach to Suspension and Other Improvements to LTL Translation	Tomáš Babiak, Thomas Badie, Alexandre Duret-Lutz, Mojmír Křetínský, Jan Strejček	Proceedings of the 20th International SPIN Symposium on Model Checking of Software (SPIN'13)	28 April 2013
lazzara.13.ijdar	Efficient Multiscale Sauvola's Binarization	Guillaume Lazzara, Thierry Géraud	International Journal of Document Analysis and Recognition (IJDAR)	25 April 2013
najman.13.ismm	Discrete set-valued continuity and interpolation	Laurent Najman, Thierry Géraud	Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 11th International Symposium on Mathematical Morphology (ISMM)	14 March 2013
geraud.13.ismm	A Quasi-Linear Algorithm to Compute the Tree of Shapes of n-D Images	Thierry Géraud, Edwin Carlinet, Sébastien Crozet, Laurent Najman	Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 11th International Symposium on Mathematical Morphology (ISMM)	14 March 2013
xu.13.ismm	Two applications of shape-based morphology: blood vessels segmentation and a generalization of constrained connectivity	Yongchao Xu, Thierry Géraud, Laurent Najman	Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 11th International Symposium on Mathematical Morphology (ISMM)	14 March 2013
carlinet.13.ismm	A comparison of many max-tree computation algorithms	Edwin Carlinet, Thierry Géraud	Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 11th International Symposium on Mathematical Morphology (ISMM)	14 March 2013
renault.13.tacas	Strength-Based Decomposition of the Property Büchi Automaton for Faster Model Checking	Etienne Renault, Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud	Proceedings of the 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'13)	8 January 2013
verna.13.tug-2	TiCL: the Prototype (Star TeX: the Next GenerationSeason 2)	Didier Verna	TUGboat	1 January 2013
verna.13.tug-1	The incredible tale of the author who didn't want to do the publisher's job	Didier Verna	TUGboat	1 January 2013
borgstrom.12.nistsre	MITLL 2012 Speaker Recognition Evaluation System Description	Jonas Borgstrom, William Campbell, Najim Dehak, Réda Dehak, Daniel Garcia-Romero, Kara Greenfieldand Alan McCree, Doug Reynold, Fred Richardsony, Elliot Singery, Douglas Sturim, Pedro A Torres-Carrasquillo	NIST Speaker Recognition Evaluation	1 December 2012
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

Special

Semantic search

Query log