|
Title
|
Authors
|
Published in
|
Date
|
carlinet.15.ismm
|
A Color Tree of Shapes with Illustrations on FilteringSimplification, and Segmentation
|
Edwin Carlinet, Thierry Géraud
|
Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 12th International Symposium on Mathematical Morphology (ISMM)
|
7 April 2015
|
geraud.15.ismm
|
Self-Duality and Digital Topology: Links Between the Morphological Tree of Shapes and Well-Composed Gray-Level Images
|
Thierry Géraud, Edwin Carlinet, Sébastien Crozet
|
Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 12th International Symposium on Mathematical Morphology (ISMM)
|
7 April 2015
|
xu.15.ismm
|
Efficient Computation of Attributes and Saliency Maps on Tree-Based Image Representations
|
Yongchao Xu, Edwin Carlinet, Thierry Géraud, Laurent Najman
|
Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 12th International Symposium on Mathematical Morphology (ISMM)
|
7 April 2015
|
boutry.15.ismm
|
How to Make nD Functions Digitally Well-Composed in a Self-Dual Way
|
Nicolas Boutry, Thierry Géraud, Laurent Najman
|
Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 12th International Symposium on Mathematical Morphology (ISMM)
|
7 April 2015
|
bensalem.15.lata
|
Single-pass Testing Automata for LTL Model Checking
|
Ala Eddine Ben Salem
|
Proceedings of the 9th International Conference on Language and Automata Theory and Applications (LATA'15)
|
1 March 2015
|
dubuisson.15.visapp
|
A Self-Adaptive Likelihood Function for Tracking with Particle Filter
|
Séverine Dubuisson, Myriam Robert-Seidowsky, Jonathan Fabrizio
|
Proceedings of the 10th International Conference on Computer Vision Theory and Applications (VISAPP)
|
1 March 2015
|
robert-seidowsky.15.visapp
|
TextTrail: A Robust Text Tracking Algorithm In Wild Environments
|
Myriam Robert-Seidowsky, Jonathan Fabrizio, Séverine Dubuisson
|
Proceedings of the 10th International Conference on Computer Vision Theory and Applications (VISAPP)
|
1 March 2015
|
renault.15.tacas
|
Parallel Explicit Model Checking for Generalized Büchi Automata
|
Etienne Renault, Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud
|
Proceedings of the 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'15)
|
13 January 2015
|
verna.15.cop
|
Context-Oriented Image Processing
|
Didier Verna, François Ripault
|
Context-Oriented Programming Workshop
|
1 January 2015
|
levillain.14.ciarp
|
Practical Genericity: Writing Image Processing Algorithms Both Reusable and Efficient
|
Roland Levillain, Thierry Géraud, Laurent Najman, Edwin Carlinet
|
Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications – Proceedings of the 19th Iberoamerican Congress on Pattern Recognition (CIARP)
|
10 September 2014
|
widynski.14.ius
|
Speckle Spot Detection in Ultrasound Images: Application to Speckle Reduction and Speckle Tracking
|
Nicolas Widynski, Thierry Géraud, Damien Garcia
|
Proceedings of the IEEE International Ultrasonics Symposium (IUS)
|
10 September 2014
|
xu.14.rfia
|
Espaces des formes basés sur des arbres : définition et applications en traitement d'images et vision par ordinateur
|
Yongchao Xu, Thierry Géraud, Laurent Najman
|
Actes du 19ème Congrès National sur Reconnaissance des Formes et l'Intelligence Artificielle (RFIA)
|
1 July 2014
|
blahoudek.14.spin
|
Is There a Best Büchi Automaton for Explicit Model Checking?
|
František Blahoudek, Alexandre Duret-Lutz, Mojmír Křetínský, Jan Strejček
|
Proceedings of the 21th International SPIN Symposium on Model Checking of Software (SPIN'14)
|
16 June 2014
|
dehak.14.odyssey
|
GMM Weights Adaptation Based on Subspace Approaches for Speaker Verification
|
Najim Dehak, O Plchot, M H Bahari, L Burget, H Van hamme, Réda Dehak
|
Odyssey 2014, The Speaker and Language Recognition Workshop
|
16 June 2014
|
geraud.14.icip
|
A Morphological Method for Music Score Staff Removal
|
Thierry Géraud
|
Proceedings of the 21st International Conference on Image Processing (ICIP)
|
3 June 2014
|
boutry.14.dgci
|
On Making nD Images Well-Composed by a Self-Dual Local Interpolation
|
Nicolas Boutry, Thierry Géraud, Laurent Najman
|
Proceedings of the 18th International Conference on Discrete Geometry for Computer Imagery (DGCI)
|
28 May 2014
|
crozet.14.icip
|
A First Parallel Algorithm to Compute the Morphological Tree of Shapes of nD Images
|
Sébastien Crozet, Thierry Géraud
|
Proceedings of the 21st International Conference on Image Processing (ICIP)
|
26 May 2014
|
fabrizio.14.icip
|
A precise skew estimation algorithm for document images using KNN clustering and Fourier transform
|
Jonathan Fabrizio
|
Proceedings of the 21st International Conference on Image Processing (ICIP)
|
26 May 2014
|
xu.14.icip
|
Meaningful disjoint level lines selection
|
Yongchao Xu, Edwin Carlinet, Thierry Géraud, Laurent Najman
|
Proceedings of the 21st International Conference on Image Processing (ICIP)
|
26 May 2014
|
carlinet.14.icip
|
Getting a morphological Tree of Shapes for Multivariate Images: Paths, Traps and Pitfalls
|
Edwin Carlinet, Thierry Géraud
|
Proceedings of the 21st International Conference on Image Processing (ICIP)
|
26 May 2014
|
demaille.14.ciaa
|
A Type System for Weighted Automata and Rational Expressions
|
Akim Demaille, Alexandre Duret-Lutz, Sylvain Lombardy, Luca Saiu, Jacques Sakarovitch
|
Proceedings of Implementation and Application of Automata19th International Conference (CIAA'14)
|
20 May 2014
|
carlinet.14.icpr
|
A Morphological Tree of Shapes for Color Images
|
Edwin Carlinet, Thierry Géraud
|
Proceedings of the 22nd International Conference on Pattern Recognition (ICPR)
|
2 April 2014
|
bensalem.14.tacas
|
Symbolic Model Checking of Stutter Invariant Properties Using Generalized Testing Automata
|
Ala Eddine Ben Salem, Alexandre Duret-Lutz, Fabrice Kordon, Yann Thierry-Mieg
|
Proceedings of the 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'14)
|
1 April 2014
|
baarir.14.forte
|
Mechanizing the Minimization of Deterministic Generalized Büchi Automata
|
Souheib Baarir, Alexandre Duret-Lutz
|
Proceedings of the 34th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE'14)
|
21 March 2014
|
lazzara.14.das
|
Planting, Growing and Pruning Trees: Connected Filters Applied to Document Image Analysis
|
Guillaume Lazzara, Thierry Géraud, Roland Levillain
|
Proceedings of the 11th IAPR International Workshop on Document Analysis Systems (DAS)
|
10 December 2013
|
renault.13.lpar
|
Three SCC-based Emptiness Checks for Generalized Büchi Automata
|
Etienne Renault, Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud
|
Proceedings of the 19th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'13)
|
9 October 2013
|
fronc.13.atva
|
LTL Model Checking with Neco
|
Łukasz Fronc, Alexandre Duret-Lutz
|
Proceedings of the 11th International Symposium on Automated Technology for Verification and Analysis (ATVA'13)
|
15 June 2013
|
duret.13.atva
|
Manipulating LTL formulas using Spot 1.0
|
Alexandre Duret-Lutz
|
Proceedings of the 11th International Symposium on Automated Technology for Verification and Analysis (ATVA'13)
|
15 June 2013
|
xu.13.icip
|
Salient Level Lines Selection Using the Mumford-Shah Functional
|
Yongchao Xu, Thierry Géraud, Laurent Najman
|
Proceedings of the 20th International Conference on Image Processing (ICIP)
|
27 May 2013
|
demaille.13.ciaa
|
Implementation Concepts in Vaucanson 2
|
Akim Demaille, Alexandre Duret-Lutz, Sylvain Lombardy, Jacques Sakarovitch
|
Proceedings of Implementation and Application of Automata18th International Conference (CIAA'13)
|
2 May 2013
|
babiak.13.spin
|
Compositional Approach to Suspension and Other Improvements to LTL Translation
|
Tomáš Babiak, Thomas Badie, Alexandre Duret-Lutz, Mojmír Křetínský, Jan Strejček
|
Proceedings of the 20th International SPIN Symposium on Model Checking of Software (SPIN'13)
|
28 April 2013
|
carlinet.13.ismm
|
A comparison of many max-tree computation algorithms
|
Edwin Carlinet, Thierry Géraud
|
Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 11th International Symposium on Mathematical Morphology (ISMM)
|
14 March 2013
|
geraud.13.ismm
|
A Quasi-Linear Algorithm to Compute the Tree of Shapes of n-D Images
|
Thierry Géraud, Edwin Carlinet, Sébastien Crozet, Laurent Najman
|
Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 11th International Symposium on Mathematical Morphology (ISMM)
|
14 March 2013
|
najman.13.ismm
|
Discrete set-valued continuity and interpolation
|
Laurent Najman, Thierry Géraud
|
Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 11th International Symposium on Mathematical Morphology (ISMM)
|
14 March 2013
|
xu.13.ismm
|
Two applications of shape-based morphology: blood vessels segmentation and a generalization of constrained connectivity
|
Yongchao Xu, Thierry Géraud, Laurent Najman
|
Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 11th International Symposium on Mathematical Morphology (ISMM)
|
14 March 2013
|
renault.13.tacas
|
Strength-Based Decomposition of the Property Büchi Automaton for Faster Model Checking
|
Etienne Renault, Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud
|
Proceedings of the 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'13)
|
8 January 2013
|
verna.13.tug-1
|
The incredible tale of the author who didn't want to do the publisher's job
|
Didier Verna
|
TUGboat
|
1 January 2013
|
verna.13.tug-2
|
TiCL: the Prototype (Star TeX: the Next GenerationSeason 2)
|
Didier Verna
|
TUGboat
|
1 January 2013
|
borgstrom.12.nistsre
|
MITLL 2012 Speaker Recognition Evaluation System Description
|
Jonas Borgstrom, William Campbell, Najim Dehak, Réda Dehak, Daniel Garcia-Romero, Kara Greenfieldand Alan McCree, Doug Reynold, Fred Richardsony, Elliot Singery, Douglas Sturim, Pedro A Torres-Carrasquillo
|
NIST Speaker Recognition Evaluation
|
1 December 2012
|
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
|
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
|
verna.12.tug
|
Star TeX : the Next Generation
|
Didier Verna
|
TUGboat
|
1 January 2012
|
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
|
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.tug
|
Classes, Styles, Conflicts: the Biological Realm of LaTeX
|
Didier Verna
|
TUGboat
|
9 March 2010
|
verna.10.els
|
CLoX: Common Lisp objects for XEmacs
|
Didier Verna
|
Proceedings of the 3rd European Lisp Symposium
|
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.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.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.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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
fabre.00.vsmm
|
Urbi et Orbi: unusual design and implementation choices for distributed virtual environments
|
Yoann Fabre, Guillaume Pitel, Didier Verna
|
Proceedings of the 6th International Conference on Virtual Systems and MultiMedia (VSMM)—Intelligent Environments Workshop
|
1 October 2000
|
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
|
verna.00.vsmm
|
Action recognition: how intelligent virtual environments can ease human-machine interaction
|
Didier Verna
|
Proceedings of the 6th International Conference on Virtual Systems and MultiMedia (VSMM)—Intelligent Environments Workshop
|
1 October 2000
|
geraud.00.icpr
|
Obtaining genericity for image processing and pattern recognition algorithms
|
Thierry Géraud, Yoann Fabre, Alexandre Duret-Lutz, Dimitri Papadopoulos-Orfanos, Jean-François Mangin
|
Proceedings of the 15th International Conference on Pattern Recognition (ICPR)
|
1 September 2000
|
geraud.00.europlop
|
Generic programming redesign of patterns
|
Thierry Géraud, Alexandre Duret-Lutz
|
Proceedings of the 5th European Conference on Pattern Languages of Programs (EuroPLoP)
|
1 July 2000
|
fabre.00.vw
|
A framework to dynamically manage distributed virtual environments
|
Yoann Fabre, Guillaume Pitel, Laurent Soubrevilla, Emmanuel Marchand, Thierry Géraud, Akim Demaille
|
Proceedings of the 2nd International Conference on Virtual Worlds (VW)
|
1 July 2000
|
fabre.00.egve
|
An asynchronous architecture to manage communicationdisplay, and user interaction in distributed virtual environments
|
Yoann Fabre, Guillaume Pitel, Laurent Soubrevilla, Emmanuel Marchand, Thierry Géraud, Akim Demaille
|
Virtual Environments 2000, Proceedings of the 6th Eurographics Workshop on Virtual Environments (EGVE)
|
1 June 2000
|
geraud.00.rfia
|
Reconnaissance de structures cérébrales à l'aide d'un atlas et par fusion d'informations structurelles floues
|
Thierry Géraud, Isabelle Bloch, Henri Maître
|
Actes du 12ème Congrès Francophone AFRIF-AFIA de Reconnaissance des Formes et Intelligence Artificielle (RFIA)
|
1 February 2000
|
geraud.99.gretsi
|
Vers une réutilisabilité totale des algorithmes de traitement d'images
|
Thierry Géraud, Yoann Fabre, Dimitri Papadopoulos-Orfanos, Jean-François Mangin
|
Proceedings of the 17th Symposium on Signal and Image Processing (GRETSI)
|
1 September 1999
|
geraud.99.cimaf
|
Atlas-guided recognition of cerebral structures in MRI using fusion of fuzzy structural information
|
Thierry Géraud, Isabelle Bloch, Henri Maître
|
Proceeding of CIMAF Symposium on Artificial Intelligence
|
1 January 1999
|