|
|
Title
|
Authors
|
Published in
|
Date
|
| 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
|
| 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
|
| duflot.06.book
|
Practical Application of Probabilistic Model Checking to Communication Protocols
|
Marie Duflot, Marta Kwiatkowska, Gethin Norman, Dave Parker, Sylvain Peyronnet, Claudine Picaronny, Jeremy Sproston
|
FMICS Handbook on Industrial Critical Systems
|
1 January 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
|
| 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
|
| darbon.05.phd
|
Composants logiciels et algorithmes de minimisation exacte d'énergies dédidées au traitement d'images
|
Jérôme Darbon
|
|
1 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
|
| 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.05.tr
|
A fast and exact algorithm for total variation minimization
|
Jérôme Darbon, Marc Sigelle
|
|
1 January 2005
|
| vaucanson.04.techrep
|
Proposal: an XML representation for automata
|
The Vaucanson group
|
|
1 November 2004
|
| lombardy.04.tcs
|
Introducing Vaucanson
|
Sylvain Lombardy, Yann Régis-Gianas, Jacques Sakarovitch
|
Theoretical Computer Science
|
1 November 2004
|
| darbon.04.tr
|
Exact optimization of discrete constrained total variation minimization problems
|
Jérôme Darbon, Marc Sigelle
|
|
1 October 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
|
| 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
|
| 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
|
| 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
|
| lefebvre.04.tr
|
Unified texture management for arbitrary meshes
|
Sylvain Lefebvre, Jérôme Darbon, Fabrice Neyret
|
|
26 April 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
|
| 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
|
| 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
|
| 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
|
| 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
|
| 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
|
| clouard.99.tr
|
Une bibliothèque et un environnement de programmation d'opérateurs de traitement d'images
|
Régis Clouard, Abderrahim Elmoataz, François Angot, Olivier Lezoray, Alexandre Duret-Lutz
|
|
1 November 1999
|
| 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
|
