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

Results 71 – 85 previous 20 20 50 100 250 500 next 20

JSON CSV RSS RDF

Query log

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

	Title	Authors	Published in	Date
dolstra.10.jfp	NixOS: A purely functional Linux distribution	Eelco Dolstra, Andres Löh, Nicolas Pierron	Journal of Functional Programming	15 October 2010
verna.10.jucs	Revisiting the Visitor: the Just Do It Pattern	Didier Verna	Journal of Universal Computer Science	1 January 2010
hamez.09.fi	Building Efficient Model checkers using Hierarchical Set Decision Diagrams and automatic Saturation	Alexandre Hamez, Yann Thierry-Mieg, Fabrice Kordon	Fundamenta Informaticae	1 January 2009
verna.08.jucs	Binary Methods Programming: the CLOS Perspective (extended version)	Didier Verna	Journal of Universal Computer Science	1 January 2008
verna.06.ijcs	How to make Lisp go faster than C	Didier Verna	IAENG International Journal of Computer Science	1 December 2006
yoruk.06.itip	Shape-based hand recognition	Erdem Yörük, Ender Konukoglu, Bülent Sankur, Jérôme Darbon	IEEE Transactions on Image Processing	1 July 2006
darbon.06.jmiv	Image restoration with discrete constrained Total Variation—Part I: Fast and exact optimization	Jérôme Darbon, Marc Sigelle	Journal of Mathematical Imaging and Vision	24 March 2006
darbon.06.jmivb	Image restoration with discrete constrained Total Variation—Part II: Levelable functions, convex priors and non-convex case	Jérôme Darbon, Marc Sigelle	Journal of Mathematical Imaging and Vision	24 March 2006
laplante.07.tocl	Probabilistic abstraction for model checking: an approach based on property testing	Sophie Laplante, Richard Lassaigne, Frédéric Magniez, Sylvain Peyronnet, Michel de Rougemont	ACM Transactions on Computational Logic	21 November 2005
borghi.06.crossroads	C-Transformers — A Framework to Write C Program Transformations	Alexandre Borghi, Valentin David, Akim Demaille	ACM Crossroads	16 October 2005
dehak.05.pami	Spatial reasoning with relative incomplete information on relative positioning	Réda Dehak, Isabelle Bloch, Henri Maître	IEEE Transactions on Pattern Analysis and Machine Intelligence	1 September 2005
lombardy.04.tcs	Introducing Vaucanson	Sylvain Lombardy, Yann Régis-Gianas, Jacques Sakarovitch	Theoretical Computer Science	1 November 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
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
bloch.03.ai	Representation and fusion of heterogeneous fuzzy information in the 3D space for model-based structural recognition—application to 3D brain imaging	Isabelle Bloch, Thierry Géraud, Henri Maître	Artificial Intelligence	1 August 2003

Special

Semantic search

Query log