Special

Semantic search

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
Title Authors Published in Date
levillain.12.wadgmm-lncs Writing Reusable Digital Topology Algorithms in a Generic Image Processing Framework Roland Levillain, Thierry Géraud, Laurent Najman WADGMM 2010 8 August 2012
levillain.10.wadgmm Writing Reusable Digital Geometry Algorithms in a Generic Image Processing Framework Roland Levillain, Thierry Géraud, Laurent Najman Proceedings of the Workshop on Applications of Digital Geometry and Mathematical Morphology (WADGMM) 30 July 2012
xu.12.icpr Morphological Filtering in Shape Spaces : Applications using Tree-Based Image Representations Yongchao Xu, Thierry Géraud, Laurent Najman Proceedings of the 21st International Conference on Pattern Recognition (ICPR) 16 June 2012
geraud.12.hdr Outil logiciel pour le traitement d'images: Bibliothèque, paradigmes, types et algorithmes Thierry Géraud 1 June 2012
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
senta.12.els Generic Image Processing with Climb Laurent Senta, Christopher Chedeau, Didier Verna European Lisp Symposium 1 May 2012
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
fabrizio.12.spic Motion compensation based on Tangent Distance prediction for video compression Jonathan Fabrizio, Séverine Dubuisson, Dominique Béréziat Signal Processing: Image Communication 9 February 2012
chedeau.12.tr JSPP: Morphing C++ into JavaScript Christopher Chedeau, Didier Verna 1 January 2012
verna.12.tug Star TeX : the Next Generation Didier Verna TUGboat 1 January 2012
bensalem.12.topnoc Model Checking using Generalized Testing Automata Ala Eddine Ben Salem, Alexandre Duret-Lutz, Fabrice Kordon Transactions on Petri Nets and Other Models of Concurrency (ToPNoC VI) 1 January 2012
levillain.11.phd Towards a Software Architecture for Generic Image Processing Roland Levillain 1 November 2011
dehak.11.interspeech Language Recognition via I-Vectors and Dimensionality Reduction Najim Dehak, Pedro A Torres-Carrasquillo, Douglas Reynolds, Réda Dehak INTERSPEECH 2011 1 August 2011
duret.11.vecos LTL Translation Improvements in Spot Alexandre Duret-Lutz Proceedings of the 5th International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS'11) 25 July 2011
duret.11.atva Self-Loop Aggregation Product — A New Hybrid Approach to On-the-Fly LTL Model Checking Alexandre Duret-Lutz, Kais Klai, Denis Poitrenaud, Yann Thierry-Mieg Proceedings of the 9th International Symposium on Automated Technology for Verification and Analysis (ATVA'11) 23 June 2011
lazzara.11.icdar The SCRIBO Module of the Olena Platform: a Free Software Framework for Document Image Analysis Guillaume Lazzara, Roland Levillain, Thierry Géraud, Yann Jacquelet, Julien Marquegnies, Arthur Crépin-Leblond Proceedings of the 11th International Conference on Document Analysis and Recognition (ICDAR) 1 June 2011
duret.11.arxiv Combining Explicit and Symbolic Approaches for Better On-the-Fly LTL Model Checking Alexandre Duret-Lutz, Kais Klai, Denis Poitrenaud, Yann Thierry-Mieg 1 June 2011
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
levillain.11.gretsi Une approche générique du logiciel pour le traitement d'images préservant les performances Roland Levillain, Thierry Géraud, Laurent Najman Proceedings of the 23rd Symposium on Signal and Image Processing (GRETSI) 13 May 2011
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