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]] [[Publication type::inproceedings]]
 |?Has bibtex id=Bibtex id
 |?Has author=Authors
 |?Has title=Title
 |?Published in
 |?News date#MEDIAWIKI=Date
 |format=template
 |limit=50
 |offset=50
 |sort=
 |order=asc
 |mainlabel=
 |template= PublicationRow
 |introtemplate= PublicationRowIntro
 |outrotemplate= PublicationRowOutro
 |sep=
}}

Results 51 – 100 previous 50 20 50 100 250 500 next 50

JSON CSV RSS RDF

Query log

{
    "query_string": "[[Category:Publications]] [[Publication type::inproceedings]]",
    "query_source": "SMWSQLStore",
    "query_time": "0.0305",
    "from_cache": false
}

Debug output SQLStore

ASK Query

[[Category:Publications]] [[Publication type::inproceedings]]

SQL Query

SELECT DISTINCT
t0.smw_id AS id,
  t0.smw_title AS t,
  t0.smw_namespace AS ns,
  t0.smw_iw AS iw,
  t0.smw_subobject AS so,
  t0.smw_sortkey AS sortkey, t0.smw_sort
FROM
`smw_object_ids` AS t0
INNER JOIN
(`smw_fpt_inst` AS t2
INNER JOIN
`smw_di_blob` AS t4 ON t2.s_id=t4.s_id) ON t0.smw_id=t2.s_id
WHERE
(t2.o_id=5352
   AND (
   (t4.o_hash='inproceedings') AND t4.p_id=5218)
  )
  AND t0.smw_iw!=':smw'
  AND t0.smw_iw!=':smw-delete'
  AND t0.smw_iw!=':smw-redi'
ORDER BY
t0.smw_sort ASC
LIMIT
55
OFFSET
50

SQL Explain

ID	select_type	table	type	possible_keys	key	key_len	ref	rows	Extra
1	SIMPLE	t2	ref	s_id, o_id, s_id_2, o_id_2	o_id_2	5	const	434	Using index; Using temporary; Using filesort
1	SIMPLE	t4	ref	s_id, s_id_2, o_hash, p_id	s_id	8	www_public.t2.s_id, const	1	Using where
1	SIMPLE	t0	eq_ref	PRIMARY, smw_id, smw_iw, smw_iw_2	PRIMARY	4	www_public.t2.s_id	1	Using where

Auxilliary Tables

No auxilliary tables used.

Query Metrics

Query-Size:3
Query-Depth:1

Errors and Warnings

None

	Title	Authors	Published in	Date
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
verna.06.ecoop	Beating C in Scientific Computing Applications	Didier Verna	Third European Lisp Workshop at ECOOP	11 July 2006
royer.17.icdar	Benchmarking Keypoint Filtering Approaches for Document Image Matching	E Royer, J Chazalon, M Rusiñol, F Bouchara	Proceedings of the 14th International Conference on Document Analysis and Recognition (ICDAR)	4 July 2017
verna.08.els	Binary Methods Programming: the CLOS Perspective	Didier Verna	Proceedings of the First European Lisp Symposium	31 March 2009
verna.11.onward	Biological Realms in Computer Science: the Way You Don't (Want To) Think About Them	Didier Verna	Onward! 2011	1 January 2011
metin.18.tacas	CDCLSym: Introducing Effective Symmetry Breaking in SAT Solving	Hakan Metin, Souheib Baarir, Maximilien Colange, Fabrice Kordon	Proceedings of the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'18)	5 January 2018
verna.09.ilc	CLOS Efficiency: Instantiation	Didier Verna	Proceedings of the International Lisp Conference	13 January 2009
verna.07.imecs	CLOS solutions to binary methods	Didier Verna	Proceedings of the International MultiConference of Engineers and Computer Scientists	22 January 2007
verna.10.els	CLoX: Common Lisp objects for XEmacs	Didier Verna	Proceedings of the 3rd European Lisp Symposium	9 March 2010
puybareau.17.gretsi	Caractérisation des zones de mouvement périodiques pour applications bio-médicales	Élodie Puybareau, Hugues Talbot, Laurent Najman	Actes du 26e Colloque GRETSI	28 June 2017
dehak.09.interspeechb	Cepstral and Long-Term Features for Emotion Recognition	Pierre Dumouchel, Najim Dehak, Yazid Attabi, Réda Dehak, Narjès Boufaden	Interspeech	22 June 2009
verna.10.tug	Classes, Styles, Conflicts: the Biological Realm of LaTeX	Didier Verna	TUGboat	9 March 2010
geraud.01.icip	Color image segmentation based on automatic morphological clustering	Thierry Géraud, Pierre-Yves Strub, Jérôme Darbon	Proceedings of the IEEE International Conference on Image Processing (ICIP)	1 October 2001
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
bensalem.15.acsd	Combining Explicit and Symbolic LTL Model Checking Using Generalized Testing Automata	Ala Eddine Ben Salem, Mohamed Graiet	Proceedings of the 15th International Conference on Application of Concurrency to System Design (ACSD'15)	19 May 2015
poitrenaud.19.icfem	Combining Parallel Emptiness Checks with Partial Order Reductions	Denis Poitrenaud, Etienne Renault	Proceedings of the 21st International Conference on Formal Engineering Methods (ICFEM'19)	2 August 2019
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
newton.22.ifl	Comparing Use-Cases of Tree-Fold vs Fold-Left, How to Fold and Color a Map	Jim Newton	Symposium on Implementation and Application of Functional Languages	31 August 2022
dehak.08.odysseyb	Comparison Between Factor Analysis and GMM Support Vector Machines for Speaker Verification	Najim Dehak, Réda Dehak, Patrick Kenny, Pierre Dumouchel	Proceedings of the Speaker and Language Recognition Workshop (IEEE-Odyssey 2008)	25 September 2007
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
tochon.19.ismm	Constructing a braid of partitions from hierarchies of partitions	Guillaume Tochon, Mauro Dalla Mura, Jocelyn Chanussot	Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 14th International Symposium on Mathematical Morphology (ISMM)	13 March 2019
xu.12.icip	Context-Based Energy Estimator: Application to Object Segmentation on the Tree of Shapes	Yongchao Xu, Thierry Géraud, Laurent Najman	Proceedings of the 19th International Conference on Image Processing (ICIP)	17 April 2012
verna.15.cop	Context-Oriented Image Processing	Didier Verna, François Ripault	Context-Oriented Programming Workshop	1 January 2015
dehak.10.odyssey	Cosine Similarity Scoring without Score Normalization Techniques	Najim Dehak, Réda Dehak, J Glass, D Reynolds, P Kenny	Odyssey The Speaker and Language Recognition	1 January 2010
saouli.23.vmcai	CosySEL: Improving SAT Solving Using Local Symmetries	S Saouli, S Baarir, C Dutheillet, J Devriendt	24th International Conference on Verification, Model Checking, and Abstract Interpretation	8 December 2022
espie.21.eurocon	Debug Packages in OpenBSD	Marc Espie	EuroBSDCon 2021	1 January 2021
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
demaille.16.ciaa	Derived-Term Automata of Multitape Rational Expressions	Akim Demaille	Proceedings of Implementation and Application of Automata21st International Conference (CIAA'16)	26 April 2016
demaille.17.ictac	Derived-Term Automata of Weighted Rational Expressions with Quotient Operators	Akim Demaille, Thibaud Michaud	Proceedings of the Thirteenth International Colloquium on Theoretical Aspects of Computing (ICTAC)	5 July 2017
demaille.16.ictac	Derived-term Automata for Extended Weighted Rational Expressions	Akim Demaille	Proceedings of the Thirteenth International Colloquium on Theoretical Aspects of Computing (ICTAC)	6 July 2016
duluard.22.mlsa	Discovering and Visualizing Tactics in Table Tennis Games Based on Subgroup Discovery	Pierre Duluard, Xinqing Li, Marc Plantevit, Céline Robardet, Romain Vuillemot	Machine Learning and Data Mining for Sports Analytics - 9th International Workshop, MLSA 2022	19 September 2022
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
guirado.05.pdmc	Distribution, approximation and probabilistic model checking	Guillaume Guirado, Thomas Herault, Richard Lassaigne, Sylvain Peyronnet	Proceedings of the 4th international workshop on Parallel and Distributed Model Checking (PDMC)	23 May 2005
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
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
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
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

Special

Semantic search

Query log