Semantic search
No value
- An efficient algorithm for attribute openings and closings (News year 2005, 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 (News year 2005, 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 (News year 2005, 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 (News year 2005, 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 (News year 2005, 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 (News year 2005, Has title A fast and exact algorithm for total variation minimization)
- Spatial reasoning with relative incomplete information on relative positioning (News year 2005, 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 (News year 2005, 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))
- Beating C in Scientific Computing Applications (News year 2006, 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 (News year 2006, 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 (News year 2006, 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 (News year 2006, 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 (News year 2006, 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 (News year 2006, 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 (News year 2006, Has title ENST-IRCGN System Description, Published in NIST SRE'06 Workshop: speaker recognition evaluation campaign)
- How to make Lisp go faster than C (News year 2006, Has title How to make Lisp go faster than C, Published in IAENG International Journal of Computer Science)
- Shape-based hand recognition (News year 2006, Has title Shape-based hand recognition, Published in IEEE Transactions on Image Processing)
- Project EFIGI: Automatic classification of galaxies (News year 2006, 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 (News year 2006, 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 (News year 2006, 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 (News year 2006, 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 (News year 2006, 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 (News year 2006, 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 (News year 2006, 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 (News year 2006, 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 (News year 2006, 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 (News year 2006, 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 (News year 2006, 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 (News year 2006, Has title LRDE System description, Published in NIST SRE'06 Workshop: speaker recognition evaluation campaign)
- Modeling of Sensor Networks Using XRM (News year 2006, 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 (News year 2006, 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 (News year 2006, 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))
- libDMC: a library to Operate Efficient Distributed Model Checking (News year 2007, 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 (News year 2007, 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 (News year 2007, 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 (News year 2007, 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 (News year 2007, 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 (News year 2007, 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 (News year 2007, 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 (News year 2007, 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 (News year 2007, 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 (News year 2007, 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 (News year 2007, 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 (News year 2007, 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 (News year 2007, 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))
- Hierarchical Set Decision Diagrams and Automatic Saturation (News year 2008, 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 (News year 2008, Has title Approximate Nash Equilibria for Multi-Player Games, Published in 1st International Symposium on Algorithmic Games Theory)
- Towards the World-Wide Quantum Network (News year 2008, 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 (News year 2008, 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) (News year 2008, Has title Binary Methods Programming: the CLOS Perspective (extended version), Published in Journal of Universal Computer Science)