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)
- Report on the 5th Workshop ELW at ECOOP 2008 (News year 2008, Has title Report on the 5th Workshop ELW at ECOOP 2008, Published in Object-Oriented Technology. ECOOP 2008 Workshop Reader)
- Revisiting the Visitor: the Just Do It Pattern (News year 2008, Has title Revisiting the Visitor: the Just Do It Pattern, Published in Proceedings of the ACCU Conference 2009)
- The LRDE Systems for the 2008 NIST Speaker Recognition Evaluation (News year 2008, Has title The LRDE Systems for the 2008 NIST Speaker Recognition Evaluation, Published in NIST-SRE 2008)
- An XML format proposal for the description of weighted automata, transducers, and regular expressions (News year 2008, Has title An XML format proposal for the description of weighted automata, transducers, and regular expressions, Published in Post-proceedings of the seventh international workshop on Finite-State Methods and Natural Language Processing (FSMNLP'08))
- A Set of Tools to Teach Compiler Construction (News year 2008, Has title A Set of Tools to Teach Compiler Construction, Published in Proceedings of the Thirteenth Annual Conference on Innovation and Technology in Computer Science Education (ITICSE'08))
- Semantics driven disambiguation: A comparison of different approaches (News year 2008, Has title Semantics driven disambiguation: A comparison of different approaches, Published in Proceedings of the 8th workshop on Language DescriptionsTools and Applications (LDTA'08))
- Global Optimization for First Order Markov Random Fields with Submodular Priors (News year 2008, Has title Global Optimization for First Order Markov Random Fields with Submodular Priors, Published in Proceedings of the twelfth International Workshop on Combinatorial Image Analysis (IWCIA'08))
- TWEAST: A Simple and Effective Technique to Implement Concrete-Syntax AST Rewriting Using Partial Parsing (News year 2008, Has title TWEAST: A Simple and Effective Technique to Implement Concrete-Syntax AST Rewriting Using Partial Parsing, Published in Proceedings of the 24th Annual ACM Symposium on Applied Computing (SAC'09))
- Semantics-Driven Genericity: A Sequel to the Static C++ Object-Oriented Programming Paradigm (SCOOP 2) (News year 2008, Has title Semantics-Driven Genericity: A Sequel to the Static C++ Object-Oriented Programming Paradigm (SCOOP 2), Published in Proceedings of the 6th International Workshop on Multiparadigm Programming with Object-Oriented Languages (MPOOL))
- On-the-fly Emptiness Check of Transition-based Streett Automata (News year 2009, Has title On-the-fly Emptiness Check of Transition-based Streett Automata, Published in Proceedings of the 7th International Symposium on Automated Technology for Verification and Analysis (ATVA'09))
- Milena: Write Generic Morphological Algorithms Once, Run on Many Kinds of Images (News year 2009, Has title Milena: Write Generic Morphological Algorithms Once, Run on Many Kinds of Images, Published in Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the Ninth International Symposium on Mathematical Morphology (ISMM))
- Binary Methods Programming: the CLOS Perspective (News year 2009, Has title Binary Methods Programming: the CLOS Perspective, Published in Proceedings of the First European Lisp Symposium)
- CLOS Efficiency: Instantiation (News year 2009, Has title CLOS Efficiency: Instantiation, Published in Proceedings of the International Lisp Conference)
- Building Efficient Model checkers using Hierarchical Set Decision Diagrams and automatic Saturation (News year 2009, Has title Building Efficient Model checkers using Hierarchical Set Decision Diagrams and automatic Saturation, Published in Fundamenta Informaticae)
- Support Vector Machines and Joint Factor Analysis for Speaker Verification (News year 2009, Has title Support Vector Machines and Joint Factor Analysis for Speaker Verification, Published in IEEE-ICASSP)
- Support Vector Machines versus Fast Scoring in the Low-Dimensional Total Variability Space for Speaker Verification (News year 2009, Has title Support Vector Machines versus Fast Scoring in the Low-Dimensional Total Variability Space for Speaker Verification, Published in Interspeech)
- Cepstral and Long-Term Features for Emotion Recognition (News year 2009, Has title Cepstral and Long-Term Features for Emotion Recognition, Published in Interspeech)
- Génération efficace de grands espaces d'états (News year 2009, Has title Génération efficace de grands espaces d'états)
- Sémantique paramétrable des Diagrammes de Décision : une démarche vers l'unification (News year 2009, Has title Sémantique paramétrable des Diagrammes de Décision : une démarche vers l'unification)
- Why and How to Design a Generic and Efficient Image Processing Framework: The Case of the Milena Library (News year 2010, Has title Why and How to Design a Generic and Efficient Image Processing Framework: The Case of the Milena Library, Published in Proceedings of the IEEE International Conference on Image Processing (ICIP))
- Classes, Styles, Conflicts: the Biological Realm of LaTeX (News year 2010, Has title Classes, Styles, Conflicts: the Biological Realm of LaTeX, Published in TUGboat)
- NixOS: A purely functional Linux distribution (News year 2010, Has title NixOS: A purely functional Linux distribution, Published in Journal of Functional Programming)
- Algorithms for Mathematical Morphology (News year 2010, Has title Algorithms for Mathematical Morphology, Published in Mathematical Morphology—From Theory to Applications)
- Morphologie et algorithmes (News year 2010, Has title Morphologie et algorithmes, Published in Morphologie mathématique 2 : estimation, choix et mise en œuvre)
- polyDD: Towards a Framework Generalizing Decision Diagrams (News year 2010, Has title polyDD: Towards a Framework Generalizing Decision Diagrams, Published in Proceedings of the 10th International Conference on Application of Concurrency to System Design (ACSD))
- SnooperText: A Multiresolution System for Text Detection in Complex Visual Scenes (News year 2010, Has title SnooperText: A Multiresolution System for Text Detection in Complex Visual Scenes, Published in Proceedings of the IEEE International Conference on Image Processing (ICIP))
- Revisiting the Visitor: the Just Do It Pattern (News year 2010, Has title Revisiting the Visitor: the Just Do It Pattern, Published in Journal of Universal Computer Science)
- LRDE Speaker Recognition System for NIST-SRE 2010 (News year 2010, Has title LRDE Speaker Recognition System for NIST-SRE 2010, Published in NIST 2010 Speaker Recognition Evaluation)
- Cosine Similarity Scoring without Score Normalization Techniques (News year 2010, Has title Cosine Similarity Scoring without Score Normalization Techniques, Published in Odyssey The Speaker and Language Recognition)
- Unsupervised Speaker Adaptation based on the Cosine Similarity for Text-Independent Speaker Verification (News year 2010, Has title Unsupervised Speaker Adaptation based on the Cosine Similarity for Text-Independent Speaker Verification, Published in Odyssey The Speaker and Language Recognition)
- CLoX: Common Lisp objects for XEmacs (News year 2010, Has title CLoX: Common Lisp objects for XEmacs, Published in Proceedings of the 3rd European Lisp Symposium)
- Self-Loop Aggregation Product — A New Hybrid Approach to On-the-Fly LTL Model Checking (News year 2011, Has title Self-Loop Aggregation Product — A New Hybrid Approach to On-the-Fly LTL Model Checking, Published in Proceedings of the 9th International Symposium on Automated Technology for Verification and Analysis (ATVA'11))
- LTL Translation Improvements in Spot (News year 2011, Has title LTL Translation Improvements in Spot, Published in Proceedings of the 5th International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS'11))
- The SCRIBO Module of the Olena Platform: a Free Software Framework for Document Image Analysis (News year 2011, Has title The SCRIBO Module of the Olena Platform: a Free Software Framework for Document Image Analysis, Published in Proceedings of the 11th International Conference on Document Analysis and Recognition (ICDAR))
- Une approche générique du logiciel pour le traitement d'images préservant les performances (News year 2011, Has title Une approche générique du logiciel pour le traitement d'images préservant les performances, Published in Proceedings of the 23rd Symposium on Signal and Image Processing (GRETSI))
- Towards LaTeX Coding Standards (News year 2011, Has title Towards LaTeX Coding Standards, Published in TUGboat)
- Combining Explicit and Symbolic Approaches for Better On-the-Fly LTL Model Checking (News year 2011, Has title Combining Explicit and Symbolic Approaches for Better On-the-Fly LTL Model Checking)
- Towards a Software Architecture for Generic Image Processing (News year 2011, Has title Towards a Software Architecture for Generic Image Processing)
- Generalized Büchi Automata versus Testing Automata for Model Checking (News year 2011, Has title Generalized Büchi Automata versus Testing Automata for Model Checking, Published in Proceedings of the second International Workshop on Scalable and Usable Model Checking for Petri Net and other models of Concurrency (SUMO'11))
- Language Recognition via I-Vectors and Dimensionality Reduction (News year 2011, Has title Language Recognition via I-Vectors and Dimensionality Reduction, Published in INTERSPEECH 2011)
- Front-End Factor Analysis For Speaker Verification (News year 2011, Has title Front-End Factor Analysis For Speaker Verification, Published in IEEE Transactions on Audio, Speech, and Language Processing)
- A Channel-Blind System for Speaker Verification (News year 2011, Has title A Channel-Blind System for Speaker Verification, Published in International Conference on Acoustics, Speech and Signal Processing (ICASSP))
- Biological Realms in Computer Science: the Way You Don't (Want To) Think About Them (News year 2011, Has title Biological Realms in Computer Science: the Way You Don't (Want To) Think About Them, Published in Onward! 2011)
- Writing Reusable Digital Geometry Algorithms in a Generic Image Processing Framework (News year 2012, Has title Writing Reusable Digital Geometry Algorithms in a Generic Image Processing Framework, Published in Proceedings of the Workshop on Applications of Digital Geometry and Mathematical Morphology (WADGMM))
- Writing Reusable Digital Topology Algorithms in a Generic Image Processing Framework (News year 2012, Has title Writing Reusable Digital Topology Algorithms in a Generic Image Processing Framework, Published in WADGMM 2010)
- Generic Image Processing with Climb (News year 2012, Has title Generic Image Processing with Climb, Published in European Lisp Symposium)
- Context-Based Energy Estimator: Application to Object Segmentation on the Tree of Shapes (News year 2012, Has title Context-Based Energy Estimator: Application to Object Segmentation on the Tree of Shapes, Published in Proceedings of the 19th International Conference on Image Processing (ICIP))
- Morphological Filtering in Shape Spaces : Applications using Tree-Based Image Representations (News year 2012, Has title Morphological Filtering in Shape Spaces : Applications using Tree-Based Image Representations, Published in Proceedings of the 21st International Conference on Pattern Recognition (ICPR))
- Motion compensation based on Tangent Distance prediction for video compression (News year 2012, Has title Motion compensation based on Tangent Distance prediction for video compression, Published in Signal Processing: Image Communication)
- Outil logiciel pour le traitement d'images: Bibliothèque, paradigmes, types et algorithmes (News year 2012, Has title Outil logiciel pour le traitement d'images: Bibliothèque, paradigmes, types et algorithmes)