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

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

JSON CSV RSS RDF

Query log

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

	Title	Authors	Published in	Date
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.23.sac	Optimization of the Product Configuration System of Renault	Hao Xu, Souheib Baarir, Tewfik Ziadi, Siham EssodaiguiYves Bossu, Lom Messan Hillah	SAC '23: The 38th ACM/SIGAPP Symposium on Applied Computing	3 April 2023
fahrenberg.23.pn	A Myhill-Nerode Theorem for Higher-Dimensional Automata	Uli Fahrenberg, Krzysztof Ziemiański	Application and Theory of Petri Nets and Concurrency (PETRI NETS)	5 March 2023
diop.22.ieeebigdata	Trie-based Output Itemset Sampling	Lamine Diop, Cheikh Talibouya Diop, Dominique Li, Arnaud Soulet, GiacomettiArnaud	2022 IEEE International Conference on Big Data (Big Data)	12 December 2022
bouarour.22.ieeebigdata	Learning Diversity Attributes in Multi-Session Recommendations	Nassim Bouarour, Idir Benouaret, Amer-YahiaSihem	2022 IEEE International Conference on Big Data (Big Data)	12 December 2022
kheireddine.22.apsec	Tuning SAT Solvers for LTL Model Checking	Anissa Kheireddine, Étienne Renault, Souheib Baarir	Proceedings of the 29th Asia-Pacific Software Engineering Conference (APSEC'22)	9 December 2022
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
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
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
movn.22.nips	Topology-Aware Method to Segment 3D Plan Tissue Images	Minh Ôn Vũ Ngoc, Nicolas Boutry, Jonathan Fabrizio	36th Conference on Neural Information Processing SystemsAI for Science Workshop	25 October 2022
roynard.22.gpce	A Modern C++ Point of View of Programming in Image Processing	Michaël Roynard, Edwin Carlinet, Thierry Géraud	Proceedings of the 21st International Conference on Generative Programming: Concepts & Experiences (GPCE 2022)	10 October 2022
esteban.22.gpce	The Cost of Dynamism in Static Languages for Image Processing	Baptiste Esteban, Edwin Carlinet, Guillaume Tochon, Didier Verna	Proceedings of the 21st International Conference on Generative Programming: Concepts & Experiences (GPCE 2022)	10 October 2022
zhao.22.iros	Multi-purpose Tactile Perception Based on Deep Learning in a New Tendon-driven Optical Tactile Sensor	Zhou Zhao, Zhenyu Lu	2022 IEEE/RSJ International Conference on Intelligent Robots and Systems	1 October 2022
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
kamal.22.xkdd	Improving the Quality of Rule-Based GNN Explanations	Ataollah Kamal, Elouan Vincent, Marc Plantevit, Céline Robardet	Workshop on eXplainable Knowledge Discovery in Data Mining. Machine Learning and Principles and Practice of Knowledge Discovery in Databases - International Workshops of ECML PKDD 2022, GrenobleFrance, September 19-23, 2022, Proceedings, Part I	12 September 2022
fahrenberg.22.concur	A Kleene Theorem for Higher-Dimensional Automata	Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemiański	33rd International Conference on Concurrency Theory (CONCUR 2022)	6 September 2022
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
lepage.22.interspeech	Label-Efficient Self-Supervised Speaker Verification With Information Maximization and Contrastive Learning	Théo Lepage, Réda Dehak	Proc. Interspeech 2022	28 August 2022
veyrin-forrer.22.ijcai	What Does my GNN Really Capture? On Exploring Internal GNN Representations	Luca Veyrin-Forrer, Ataollah Kamal, Stefan Duffner, Marc Plantevit, Céline Robardet	International Joint Conference on Artificial Intelligence 2022	23 July 2022
akshay.22.stacs	On Robustness for the Skolem and Positivity Problems	S Akshay, Hugo Bazille, Blaise Genest, Mihir Vahanwala	39th International Symposium on Theoretical Aspects of Computer Science STACS	7 July 2022

Special

Semantic search

Query log