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
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
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
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
dehak.11.icassp A Channel-Blind System for Speaker Verification Najim Dehak, Z Karam, D Reynolds, Réda Dehak, W Campbell, J Glass International Conference on Acoustics, Speech and Signal Processing (ICASSP) 1 May 2011
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
verna.11.tug Towards LaTeX Coding Standards Didier Verna TUGboat 1 January 2011
minetto.10.icip SnooperText: A Multiresolution System for Text Detection in Complex Visual Scenes Rodrigo Minetto, Nicolas Thome, Matthieu Cord, Jonathan Fabrizio, Beatriz Marcotegui Proceedings of the IEEE International Conference on Image Processing (ICIP) 31 December 2010
dolstra.10.jfp NixOS: A purely functional Linux distribution Eelco Dolstra, Andres Löh, Nicolas Pierron Journal of Functional Programming 15 October 2010
geraud.10.livre Morphologie et algorithmes Thierry Géraud, Hugues Talbot, Marc Van Droogenbroeck Morphologie mathématique 2 : estimation, choix et mise en œuvre 1 September 2010
geraud.10.book Algorithms for Mathematical Morphology Thierry Géraud, Hugues Talbot, Marc Van Droogenbroeck Mathematical Morphology—From Theory to Applications 1 July 2010
linard.10.acsd polyDD: Towards a Framework Generalizing Decision Diagrams Alban Linard, Emmanuel Paviot-Adet, Fabrice Kordon, Didier Buchs, Samuel Charron Proceedings of the 10th International Conference on Application of Concurrency to System Design (ACSD) 1 June 2010
levillain.10.icip Why and How to Design a Generic and Efficient Image Processing Framework: The Case of the Milena Library Roland Levillain, Thierry Géraud, Laurent Najman Proceedings of the IEEE International Conference on Image Processing (ICIP) 26 May 2010
verna.10.els CLoX: Common Lisp objects for XEmacs Didier Verna Proceedings of the 3rd European Lisp Symposium 9 March 2010
verna.10.tug Classes, Styles, Conflicts: the Biological Realm of LaTeX Didier Verna TUGboat 9 March 2010
dehak.10.nist LRDE Speaker Recognition System for NIST-SRE 2010 Réda Dehak, Najim Dehak NIST 2010 Speaker Recognition Evaluation 1 January 2010
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
dehak.10.odyssey2 Unsupervised Speaker Adaptation based on the Cosine Similarity for Text-Independent Speaker Verification S Shum, Najim Dehak, Réda Dehak, J Glass Odyssey The Speaker and Language Recognition 1 January 2010
verna.10.jucs Revisiting the Visitor: the Just Do It Pattern Didier Verna Journal of Universal Computer Science 1 January 2010
hamez.09.phd Génération efficace de grands espaces d'états Alexandre Hamez 1 December 2009
linard.09.phd Sémantique paramétrable des Diagrammes de Décision : une démarche vers l'unification Alban Linard 1 November 2009
dehak.09.interspeech Support Vector Machines versus Fast Scoring in the Low-Dimensional Total Variability Space for Speaker Verification Najim Dehak, Réda Dehak, Patrick Kenny, Niko Brummer, Pierre Ouellet, Pierre Dumouchel Interspeech 22 June 2009
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
dehak.09.icassp Support Vector Machines and Joint Factor Analysis for Speaker Verification Najim Dehak, Patrick Kenny, Réda Dehak, Ondrej Glember, Pierre Dumouchel, Lukas Burget, Valiantsina Hubeika, Fabio Castaldo IEEE-ICASSP 19 April 2009
levillain.09.ismm Milena: Write Generic Morphological Algorithms Once, Run on Many Kinds of Images Roland Levillain, Thierry Géraud, Laurent Najman Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the Ninth International Symposium on Mathematical Morphology (ISMM) 9 April 2009
verna.08.els Binary Methods Programming: the CLOS Perspective Didier Verna Proceedings of the First European Lisp Symposium 31 March 2009
verna.09.ilc CLOS Efficiency: Instantiation Didier Verna Proceedings of the International Lisp Conference 13 January 2009
duret.09.atva On-the-fly Emptiness Check of Transition-based Streett Automata Alexandre Duret-Lutz, Denis Poitrenaud, Jean-Michel Couvreur Proceedings of the 7th International Symposium on Automated Technology for Verification and Analysis (ATVA'09) 1 January 2009
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.09.accu Revisiting the Visitor: the Just Do It Pattern Didier Verna Proceedings of the ACCU Conference 2009 29 December 2008
demaille.09.sac TWEAST: A Simple and Effective Technique to Implement Concrete-Syntax AST Rewriting Using Partial Parsing Akim Demaille, Roland Levillain, Benoît Sigoure Proceedings of the 24th Annual ACM Symposium on Applied Computing (SAC'09) 11 October 2008
demaille.08.fsmnlp An XML format proposal for the description of weighted automata, transducers, and regular expressions Akim Demaille, Alexandre Duret-Lutz, Florian Lesaint, Sylvain Lombardy, Jacques Sakarovitch, Florent Terrones Post-proceedings of the seventh international workshop on Finite-State Methods and Natural Language Processing (FSMNLP'08) 28 July 2008
verna.08.lncs Report on the 5th Workshop ELW at ECOOP 2008 Didier Verna, Charlotte Herzeel, Christophe Rhodes, Hans Hübner Object-Oriented Technology. ECOOP 2008 Workshop Reader 1 July 2008
ricou.08.eceg A Survey of French Local e-Democracy Olivier Ricou Proceedings of the 8th European Conference on e-Government (ECEG) 1 July 2008