Semantic search
2005
- An efficient algorithm for attribute openings and closings (Has title An efficient algorithm for attribute openings and closings, Published in Proceedings of the 13th European Signal Processing Conference (EUSIPCO))
- A Fast and Exact Algorithm for Total Variation Minimization (Has title A Fast and Exact Algorithm for Total Variation Minimization, Published in Proceedings of the 2nd Iberian Conference on Pattern Recognition and Image Analysis (IbPRIA))
- Total Variation Minimization with L^1 Data Fidelity as a Contrast Invariant Filter (Has title Total Variation Minimization with L^1 Data Fidelity as a Contrast Invariant Filter, Published in Proceedings of the 4th International Symposium on Image and Signal Processing and Analysis (ISPA 2005))
- A Vectorial Self-Dual Morphological Filter based on Total Variation Minimization (Has title A Vectorial Self-Dual Morphological Filter based on Total Variation Minimization, Published in Proceedings of the First International Conference on Visual Computing)
- Composants logiciels et algorithmes de minimisation exacte d'énergies dédidées au traitement d'images (Has title Composants logiciels et algorithmes de minimisation exacte d'énergies dédidées au traitement d'images)
- A fast and exact algorithm for total variation minimization (Has title A fast and exact algorithm for total variation minimization)
- Spatial reasoning with relative incomplete information on relative positioning (Has title Spatial reasoning with relative incomplete information on relative positioning, Published in IEEE Transactions on Pattern Analysis and Machine Intelligence)
- Making Compiler Construction Projects Relevant to Core Curriculums (Has title Making Compiler Construction Projects Relevant to Core Curriculums, Published in Proceedings of the Tenth Annual Conference on Innovation and Technology in Computer Science Education (ITICSE'05))
2006
- Beating C in Scientific Computing Applications (Has title Beating C in Scientific Computing Applications, Published in Third European Lisp Workshop at ECOOP)
- Uniform Random Sampling of Traces in Very Large Models (Has title Uniform Random Sampling of Traces in Very Large Models, Published in Proceedings of the 1st international workshop on Random Testing 2006 (RT06))
- Practical Application of Probabilistic Model Checking to Communication Protocols (Has title Practical Application of Probabilistic Model Checking to Communication Protocols, Published in FMICS Handbook on Industrial Critical Systems)
- The Biosecure Geometry-based System for Hand Modality (Has title The Biosecure Geometry-based System for Hand Modality, Published in Proceedings of the 32nd IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP))
- APMC 3.0: Approximate verification of Discrete and Continuous Time Markov Chains (Has title APMC 3.0: Approximate verification of Discrete and Continuous Time Markov Chains, Published in Proceedings of Qest 2006)
- An Efficient Algorithm for Connected Attribute Thinnings and Thickenings (Has title An Efficient Algorithm for Connected Attribute Thinnings and Thickenings, Published in Proceedings of the second International Conference on Visual Computing)
- ENST-IRCGN System Description (Has title ENST-IRCGN System Description, Published in NIST SRE'06 Workshop: speaker recognition evaluation campaign)
- How to make Lisp go faster than C (Has title How to make Lisp go faster than C, Published in IAENG International Journal of Computer Science)
- Shape-based hand recognition (Has title Shape-based hand recognition, Published in IEEE Transactions on Image Processing)
- Project EFIGI: Automatic classification of galaxies (Has title Project EFIGI: Automatic classification of galaxies, Published in Astronomical Data Analysis Software and Systems XV)
- Evaluating complex MAC protocols for sensor networks with APMC (Has title Evaluating complex MAC protocols for sensor networks with APMC, Published in Proceedings of the 6th International Workshop on Automated Verification of Critical Systems (AVoCS))
- On a Polynomial Vector Field Model for Shape Representation (Has title On a Polynomial Vector Field Model for Shape Representation, Published in Proceedings of the International Conference on Image Analysis and Recognition (ICIAR))
- Approximate Probabilistic Model Checking for Programs (Has title Approximate Probabilistic Model Checking for Programs, Published in Proceedings of the IEEE 2nd International Conference on Intelligent Computer Communication and Processing (ICCP'06))
- Image restoration with discrete constrained Total Variation—Part I: Fast and exact optimization (Has title Image restoration with discrete constrained Total Variation—Part I: Fast and exact optimization, Published in Journal of Mathematical Imaging and Vision)
- Image restoration with discrete constrained Total Variation—Part II: Levelable functions, convex priors and non-convex case (Has title Image restoration with discrete constrained Total Variation—Part II: Levelable functions, convex priors and non-convex case, Published in Journal of Mathematical Imaging and Vision)
- Fast and Exact Discrete Image Restoration Based on Total Variation and on Its Extensions to Levelable Potentials (Has title Fast and Exact Discrete Image Restoration Based on Total Variation and on Its Extensions to Levelable Potentials, Published in SIAM Conference on Imaging Sciences)
- A note on nice-levelable MRFs for SAR image denoising with contrast preservation (Has title A note on nice-levelable MRFs for SAR image denoising with contrast preservation)
- The use of levelable regularization functions for MRF restoration of SAR images (Has title The use of levelable regularization functions for MRF restoration of SAR images, Published in Proceedings of the 19th Symposium SPIE on Electronic Imaging)
- A Note on the Discrete Binary Mumford-Shah Model (Has title A Note on the Discrete Binary Mumford-Shah Model, Published in Proceedings of the international Computer Vision / Computer Graphics Collaboration Techniques and Applications (MIRAGE 2007))
- Attribute Grammars for Modular Disambiguation (Has title Attribute Grammars for Modular Disambiguation, Published in Proceedings of the IEEE 2nd International Conference on Intelligent Computer Communication and Processing (ICCP'06))
- LRDE System description (Has title LRDE System description, Published in NIST SRE'06 Workshop: speaker recognition evaluation campaign)
- Modeling of Sensor Networks Using XRM (Has title Modeling of Sensor Networks Using XRM, Published in Proceedings of the 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA'06))
- Probabilistic Verification of Sensor Networks (Has title Probabilistic Verification of Sensor Networks, Published in Proceedings of the Fourth International Conference on Computer Sciences, Research, Innovation and Vision for the Future (RIVF'06))
- Stochastic routing in large grid-shaped quantum networks (Has title Stochastic routing in large grid-shaped quantum networks, Published in Proceedings of the Fifth International Conference on Computer Sciences, Research, Innovation and Vision for the Future (RIVF'07))
2007
- libDMC: a library to Operate Efficient Distributed Model Checking (Has title libDMC: a library to Operate Efficient Distributed Model Checking, Published in Workshop on Performance Optimization for High-Level Languages and Libraries — associated to IPDPS'2007)
- Web services at TERAPIX (Has title Web services at TERAPIX, Published in Proceedings of the XVII conference on Astronomical Data Analysis Software & Systems (ADASS))
- 10 years of confrontation between French Internet users and their successive governments (Has title 10 years of confrontation between French Internet users and their successive governments, Published in Proceedings of the 7th European Conference on e-Government (ECEG))
- How to make Lisp go faster than C (Has title How to make Lisp go faster than C, Published in Proceedings of the International MultiConference of Engineers and Computer Scientists)
- CLOS solutions to binary methods (Has title CLOS solutions to binary methods, Published in Proceedings of the International MultiConference of Engineers and Computer Scientists)
- Local reasoning in fuzzy attribute graphs for optimizing sequential segmentation (Has title Local reasoning in fuzzy attribute graphs for optimizing sequential segmentation, Published in Proceedings of the 6th IAPR TC-15 Workshop on Graph-based Representations in Pattern Recognition (GBR))
- The Role of Speaker Factors in the NIST Extended Data Task (Has title The Role of Speaker Factors in the NIST Extended Data Task, Published in Proceedings of the Speaker and Language Recognition Workshop (IEEE-Odyssey 2008))
- On the security of quantum networks: a proposal framework and its capacity (Has title On the security of quantum networks: a proposal framework and its capacity, Published in Proceedings of the 2007 International Conference on New Technologies, Mobility and Security (NTMS'07))
- Algorithme de calcul de l'arbre des composantes avec applications à la reconnaissance des formes en imagerie satellitaire (Has title Algorithme de calcul de l'arbre des composantes avec applications à la reconnaissance des formes en imagerie satellitaire, Published in Proceedings of the 21st Symposium on Signal and Image Processing (GRETSI))
- Effective Component Tree Computation with Application to Pattern Recognition in Astronomical Imaging (Has title Effective Component Tree Computation with Application to Pattern Recognition in Astronomical Imaging, Published in Proceedings of the IEEE International Conference on Image Processing (ICIP))
- Linear and Non Linear Kernel GMM SuperVector Machines for Speaker Verification (Has title Linear and Non Linear Kernel GMM SuperVector Machines for Speaker Verification, Published in Proceedings of the European Conference on Speech Communication and Technologies (Interspeech'07))
- Kernel Combination for SVM Speaker Verification (Has title Kernel Combination for SVM Speaker Verification, Published in Proceedings of the Speaker and Language Recognition Workshop (IEEE-Odyssey 2008))
- Comparison Between Factor Analysis and GMM Support Vector Machines for Speaker Verification (Has title Comparison Between Factor Analysis and GMM Support Vector Machines for Speaker Verification, Published in Proceedings of the Speaker and Language Recognition Workshop (IEEE-Odyssey 2008))
2008
- Hierarchical Set Decision Diagrams and Automatic Saturation (Has title Hierarchical Set Decision Diagrams and Automatic Saturation, Published in Petri Nets and Other Models of Concurrency –ICATPN 2008)
- Approximate Nash Equilibria for Multi-Player Games (Has title Approximate Nash Equilibria for Multi-Player Games, Published in 1st International Symposium on Algorithmic Games Theory)
- Towards the World-Wide Quantum Network (Has title Towards the World-Wide Quantum Network, Published in Proceedings of the 4th Information Security Practice and Experience Conference (ISPEC'08))
- A Survey of French Local e-Democracy (Has title A Survey of French Local e-Democracy, Published in Proceedings of the 8th European Conference on e-Government (ECEG))
- Binary Methods Programming: the CLOS Perspective (extended version) (Has title Binary Methods Programming: the CLOS Perspective (extended version), Published in Journal of Universal Computer Science)