Special

Semantic search

Title Authors Published in Date
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.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
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
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
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
dehak.08.nist The LRDE Systems for the 2008 NIST Speaker Recognition Evaluation Réda Dehak, Najim Dehak, Patrick Kenny NIST-SRE 2008 1 June 2008
geraud.08.mpool Semantics-Driven Genericity: A Sequel to the Static C++ Object-Oriented Programming Paradigm (SCOOP 2) Thierry Géraud, Roland Levillain Proceedings of the 6th International Workshop on Multiparadigm Programming with Object-Oriented Languages (MPOOL) 26 May 2008
demaille.08.iticse A Set of Tools to Teach Compiler Construction Akim Demaille, Roland Levillain, Benoît Perrot Proceedings of the Thirteenth Annual Conference on Innovation and Technology in Computer Science Education (ITICSE'08) 29 March 2008
hamez.08.atpn Hierarchical Set Decision Diagrams and Automatic Saturation Alexandre Hamez, Yann Thierry-Mieg, Fabrice Kordon Petri Nets and Other Models of Concurrency –ICATPN 2008 1 March 2008
demaille.08.ldta Semantics driven disambiguation: A comparison of different approaches Akim Demaille, Renaud Durlin, Nicolas Pierron, Benoît Sigoure Proceedings of the 8th workshop on Language DescriptionsTools and Applications (LDTA'08) 8 February 2008
le-quoc.08.ispec Towards the World-Wide Quantum Network Cuong Le Quoc, Patrick Bellot, Akim Demaille Proceedings of the 4th Information Security Practice and Experience Conference (ISPEC'08) 25 January 2008
hemon.08.sagt Approximate Nash Equilibria for Multi-Player Games Sébastien Hémon, Michel de Rougemont, Miklos Santha 1st International Symposium on Algorithmic Games Theory 18 January 2008
darbon.08.iwcia Global Optimization for First Order Markov Random Fields with Submodular Priors Jérôme Darbon Proceedings of the twelfth International Workshop on Combinatorial Image Analysis (IWCIA'08) 3 January 2008
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
kenny.08.odyssey The Role of Speaker Factors in the NIST Extended Data Task Patrick Kenny, Najim Dehak, Réda Dehak, Vishwa Gupta, Pierre Dumouchel Proceedings of the Speaker and Language Recognition Workshop (IEEE-Odyssey 2008) 25 September 2007
dehak.08.odysseya Kernel Combination for SVM Speaker Verification Réda Dehak, Najim Dehak, Patrick Kenny, Pierre Dumouchel Proceedings of the Speaker and Language Recognition Workshop (IEEE-Odyssey 2008) 25 September 2007
ricou.07.adass Web services at TERAPIX Olivier Ricou, Anthony Baillard, Emmanuel Bertin, Frederic Magnard, Chiara Marmo, Yannick Mellier Proceedings of the XVII conference on Astronomical Data Analysis Software & Systems (ADASS) 23 September 2007
dehak.07.interspeech Linear and Non Linear Kernel GMM SuperVector Machines for Speaker Verification Réda Dehak, Najim Dehak, Patrick Kenny, Pierre Dumouchel Proceedings of the European Conference on Speech Communication and Technologies (Interspeech'07) 27 August 2007
verna.06.imecs How to make Lisp go faster than C Didier Verna Proceedings of the International MultiConference of Engineers and Computer Scientists 11 June 2007
ricou.07.eceg 10 years of confrontation between French Internet users and their successive governments Olivier Ricou Proceedings of the 7th European Conference on e-Government (ECEG) 1 June 2007
baillard.07.gretsi Algorithme de calcul de l'arbre des composantes avec applications à la reconnaissance des formes en imagerie satellitaire Anthony Baillard, Christophe Berger, Emmanuel Bertin, Thierry Géraud, Roland Levillain, Nicolas Widynski Proceedings of the 21st Symposium on Signal and Image Processing (GRETSI) 11 May 2007
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
hamez.07.pohll libDMC: a library to Operate Efficient Distributed Model Checking Alexandre Hamez, Fabrice Kordon, Yann Thierry-Mieg Workshop on Performance Optimization for High-Level Languages and Libraries — associated to IPDPS'2007 13 March 2007
le-quoc.07.ntms On the security of quantum networks: a proposal framework and its capacity Cuong Le Quoc, Patrick Bellot, Akim Demaille Proceedings of the 2007 International Conference on New Technologies, Mobility and Security (NTMS'07) 10 March 2007
fouquier.07.gbr Local reasoning in fuzzy attribute graphs for optimizing sequential segmentation Geoffroy Fouquier, Jamal Atif, Isabelle Bloch Proceedings of the 6th IAPR TC-15 Workshop on Graph-based Representations in Pattern Recognition (GBR) 15 February 2007
verna.07.imecs CLOS solutions to binary methods Didier Verna Proceedings of the International MultiConference of Engineers and Computer Scientists 22 January 2007
darbon.07.mirage A Note on the Discrete Binary Mumford-Shah Model Jérôme Darbon Proceedings of the international Computer Vision / Computer Graphics Collaboration Techniques and Applications (MIRAGE 2007) 29 December 2006
fouquier.07.icassp The Biosecure Geometry-based System for Hand Modality Geoffroy Fouquier, Laurence Likforman, Jérôme Darbon, Bulent Sankur Proceedings of the 32nd IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP) 18 December 2006
le-quoc.07.rivf Stochastic routing in large grid-shaped quantum networks Cuong Le Quoc, Patrick Bellot, Akim Demaille Proceedings of the Fifth International Conference on Computer Sciences, Research, Innovation and Vision for the Future (RIVF'07) 4 December 2006
darbon.07.ei The use of levelable regularization functions for MRF restoration of SAR images Jérôme Darbon, Marc Sigelle, Florence Tupin Proceedings of the 19th Symposium SPIE on Electronic Imaging 30 September 2006
baillard.05.adass Project EFIGI: Automatic classification of galaxies Anthony Baillard, Emmanuel Bertin, Yannic Mellier, Henry Joy McCracken, Thierry Géraud, Roser Pelló, Jean-François LeBorgne, Pascal Fouqué Astronomical Data Analysis Software and Systems XV 20 September 2006
demaille.06.isola Modeling of Sensor Networks Using XRM Akim Demaille, Sylvain Peyronnet, Benoît Sigoure Proceedings of the 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA'06) 14 September 2006
lesage.06.isvc An Efficient Algorithm for Connected Attribute Thinnings and Thickenings David Lesage, Jérôme Darbon, Ceyhun Burak Akgül Proceedings of the second International Conference on Visual Computing 9 August 2006
darbon.06.iccp Approximate Probabilistic Model Checking for Programs Jérôme Darbon, Richard Lassaigne, Sylvain Peyronnet Proceedings of the IEEE 2nd International Conference on Intelligent Computer Communication and Processing (ICCP'06) 27 July 2006
cadilhac.06.avocs Evaluating complex MAC protocols for sensor networks with APMC Michaël Cadilhac, Thomas Hérault, Richard Lassaigne, Sylvain Peyronnet, Sebastien Tixeuil Proceedings of the 6th International Workshop on Automated Verification of Critical Systems (AVoCS) 27 July 2006
david.06.iccp Attribute Grammars for Modular Disambiguation Valentin David, Akim Demaille, Olivier Gournet Proceedings of the IEEE 2nd International Conference on Intelligent Computer Communication and Processing (ICCP'06) 12 July 2006
verna.06.ecoop Beating C in Scientific Computing Applications Didier Verna Third European Lisp Workshop at ECOOP 11 July 2006
dehak.06.nist LRDE System description Réda Dehak, Charles-Alban Deledalle, Najim Dehak NIST SRE'06 Workshop: speaker recognition evaluation campaign 1 June 2006
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
denise.06.rt Uniform Random Sampling of Traces in Very Large Models Alain Denise, Marie-Claude Gaudel, Sandrine-Dominique Gouraud, Richard Lassaigne, Sylvain Peyronnet Proceedings of the 1st international workshop on Random Testing 2006 (RT06) 30 May 2006
chekroun.06.iciar On a Polynomial Vector Field Model for Shape Representation Mickael Chekroun, Jérôme Darbon, Igor Ciril Proceedings of the International Conference on Image Analysis and Recognition (ICIAR) 28 April 2006
darbon.06.siam Fast and Exact Discrete Image Restoration Based on Total Variation and on Its Extensions to Levelable Potentials Jérôme Darbon, Marc Sigelle SIAM Conference on Imaging Sciences 22 February 2006
demaille.06.rivf Probabilistic Verification of Sensor Networks Akim Demaille, Sylvain Peyronnet, Thomas Hérault Proceedings of the Fourth International Conference on Computer Sciences, Research, Innovation and Vision for the Future (RIVF'06) 1 February 2006
herault.06.qest APMC 3.0: Approximate verification of Discrete and Continuous Time Markov Chains Thomas Hérault, Richard Lassaigne, Sylvain Peyronnet Proceedings of Qest 2006 1 January 2006
darbon.05.isvc A Vectorial Self-Dual Morphological Filter based on Total Variation Minimization Jérôme Darbon, Sylvain Peyronnet Proceedings of the First International Conference on Visual Computing 20 August 2005
claveirole.05.ciaa Inside Vaucanson Thomas Claveirole, Sylvain Lombardy, Sarah O'Connor, Louis-Noël Pouchet, Jacques Sakarovitch Proceedings of Implementation and Application of Automata10th International Conference (CIAA) 25 May 2005
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
darbon.05.ispa Total Variation Minimization with L^1 Data Fidelity as a Contrast Invariant Filter Jérôme Darbon Proceedings of the 4th International Symposium on Image and Signal Processing and Analysis (ISPA 2005) 27 April 2005
darbon.05.eusipco An efficient algorithm for attribute openings and closings Jérôme Darbon, Ceyhun Burak Akgül Proceedings of the 13th European Signal Processing Conference (EUSIPCO) 14 April 2005
lassaigne.05.wollic Probabilistic verification and approximation Richard Lassaigne, Sylvain Peyronnet Proceedings of 12th Workshop on Logic, LanguageInformation and Computation (Wollic) 11 April 2005
demaille.05.iticse Making Compiler Construction Projects Relevant to Core Curriculums Akim Demaille Proceedings of the Tenth Annual Conference on Innovation and Technology in Computer Science Education (ITICSE'05) 6 February 2005
darbon.05.ibpria A Fast and Exact Algorithm for Total Variation Minimization Jérôme Darbon, Marc Sigelle Proceedings of the 2nd Iberian Conference on Pattern Recognition and Image Analysis (IbPRIA) 18 January 2005
geraud.05.ismm Ruminations on Tarjan's Union-Find algorithm and connected operators Thierry Géraud Proceedings of the 7th International Symposium on Mathematical Morphology (ISMM'05) 5 January 2005
darbon.04.iwcia Exact optimization of discrete constrained total variation minimization problems Jérôme Darbon, Marc Sigelle Proceedings of the 10th International Workshop on Combinatorial Image Analysis (IWCIA) 1 September 2004
yoruk.04.eusipco Person authentication based on hand shape Erdem Yoruk, Ender Konukoglu, Bulent Sankur, Jérôme Darbon Proceedings of 12th European Signal Processing Conference (EUSIPCO) 1 September 2004
geraud.04.iccvg Fast color image segmentation based on levellings in feature Space Thierry Géraud, Giovanni Palma, Niels Van Vliet Computer Vision and Graphics—International Conference on Computer Vision and Graphics (ICCVG), Warsaw, PolandSeptember 2004 11 August 2004
grosicki.04.icc A novel method to fight the non line of sight error in AOA measurements for mobile location Emmanuel Grosicki, Karim Abed-Meraim, Réda Dehak Proceedings of the IEEE International Conference on Communications (ICC) 1 June 2004
maes.04.mpool Metagene, a C++ meta-program generation tool Francis Maes Proceedings of the Workshop on Multiple Paradigm with OO Languages (MPOOL; in conjunction with ECOOP) 25 May 2004
darbon.04.ecoopphd Generic algorithmic blocks dedicated to image processing Jérôme Darbon, Thierry Géraud, Patrick Bellot Proceedings of the ECOOP Workshop for PhD Students 10 March 2004
duflot.04.avocs Probabilistic model checking of the CSMA/CD, protocol using PRISM and APMC Marie Duflot, Laurent Fribourg, Thomas Herault, Richard Lassaigne, Frédéric Magniette, Stephane Messika, Sylvain Peyronnet, Claudine Picaronny Proceedings of the 4th International Workshop on Automated Verification of Critical Systems (AVoCS) 1 January 2004
burrus.03.mpool A static C++ object-oriented programming (SCOOP) paradigm mixing benefits of traditional OOP and generic programming Nicolas Burrus, Alexandre Duret-Lutz, Thierry Géraud, David Lesage, Raphaël Poss Proceedings of the Workshop on Multiple Paradigm with Object-Oriented Languages (MPOOL) 29 October 2003
maes.03.dpcool Program templates: expression templates applied to program evaluation Francis Maes Proceedings of the Workshop on Declarative Programming in the Context of Object-Oriented Languages (DP-COOL; in conjunction with PLI) 31 July 2003
geraud.03.icisp Segmentation d'objets curvilignes à l'aide des champs de Markov sur un graphe d'adjacence de courbes issu de l'algorithme de la ligne de partage des eaux Thierry Géraud Proceedings of the International Conference on Image and Signal Processing (ICISP) 1 June 2003
regisgianas.03.poosc On orthogonal specialization in C++: dealing with efficiency and algebraic abstraction in Vaucanson Yann Régis-Gianas, Raphaël Poss Proceedings of the Parallel/High-performance Object-Oriented Scientific Computing (POOSC; in conjunction with ECOOP) 26 May 2003
lombardy.03.ciaa Introducing Vaucanson Sylvain Lombardy, Raphaël Poss, Yann Régis-Gianas, Jacques Sakarovitch Proceedings of Implementation and Application of Automata8th International Conference (CIAA'03) 5 May 2003
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
xue.03.icip Multi-band segmentation using morphological clustering and fusion application to color image segmentation Heru Xue, Thierry Géraud, Alexandre Duret-Lutz Proceedings of the IEEE International Conference on Image Processing (ICIP) 10 April 2003
geraud.03.ibpria Segmentation of curvilinear objects using a watershed-based curve adjacency graph Thierry Géraud Proceedings of the 1st Iberian Conference on Pattern Recognition and Image Analysis (IbPRIA) 10 March 2003
geraud.03.nsip Fast Road Network Extraction in Satellite Images using Mathematical Morphology and MRF Thierry Géraud Proceedings of the EURASIP Workshop on Nonlinear Signal and Image Processing (NSIP) 31 January 2003
carlier.02.itrs Polar type inference with intersection types and ω Sébastien Carlier Proceedings of the 2nd Workshop on Intersection Types and Related Systems (ITRS), published in: Electronic Notes in Theoretical Computer Science 1 July 2002
darbon.02.ismm Generic implementation of morphological image operators Jérôme Darbon, Thierry Géraud, Alexandre Duret-Lutz Mathematical Morphology, Proceedings of the 6th International Symposium (ISMM) 1 April 2002
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
verna.01.sci Virtual reality and tele-operation: a common framework Didier Verna Proceedings of the 5th World Multi-Conference on Systemics, Cybernetics and Informatics (SCI)—Emergent Computing and Virtual Engineering 1 July 2001
geraud.01.icisp Segmentation d'images en couleur par classification morphologique non supervisée Thierry Géraud, Pierre-Yves Strub, Jérôme Darbon Proceedings of the International Conference on Image and Signal Processing (ICISP) 1 May 2001
duret.01.ae Expression templates in Ada 95 Alexandre Duret-Lutz Proceedings of the 6th International Conference on Reliable Software Technologies (Ada-Europe) 1 May 2001
angelidis.01.wscg Visualization issues in virtual environments: from computer graphics techniques to intentional visualization Alexis Angelidis, Geoffroy Fouquier Proceedings of the 9th International Conference in Central Europe on Computer Graphics, Visualization and Computer Vision (WSCG) 1 February 2001
geraud.01.ai Applying generic programming to image processing Thierry Géraud, Yoann Fabre, Alexandre Duret-Lutz Proceedings of the IASTED International Conference on Applied Informatics (AI)—Symposium on Advances in Computer Applications 1 February 2001
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
duret.01.coots Generic design patterns in C++ Alexandre Duret-Lutz, Thierry Géraud, Akim Demaille Proceedings of the 6th USENIX Conference on Object-Oriented Technologies and Systems (COOTS) 1 January 2001
duret.00.gcse Olena: a component-based platform for image processingmixing generic, generative and OO programming Alexandre Duret-Lutz Proceedings of the 2nd International Symposium on Generative and Component-Based Software Engineering (GCSE)—Young Researchers Workshop; published in “Net.ObjectDays2000” 1 October 2000