Semantic search
No value
- 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))
- 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)
- 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))
- 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))
- 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))
- 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)
- 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)
- 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)
- 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))
- 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)
- 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)
- 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))
- 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))
- 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))
- 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)
- Shape-based hand recognition (News year 2006, Has title Shape-based hand recognition, Published in IEEE Transactions on Image Processing)
- LRDE System description (News year 2006, Has title LRDE System description, Published in NIST SRE'06 Workshop: speaker recognition evaluation campaign)
- ENST-IRCGN System Description (News year 2006, Has title ENST-IRCGN System Description, Published in NIST SRE'06 Workshop: speaker recognition evaluation campaign)
- 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))
- 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))
- 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)
- 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))
- 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)
- 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)
- Probabilistic abstraction for model checking: an approach based on property testing (News year 2005, Has title Probabilistic abstraction for model checking: an approach based on property testing, Published in ACM Transactions on Computational Logic)
- C-Transformers — A Framework to Write C Program Transformations (News year 2005, Has title C-Transformers — A Framework to Write C Program Transformations, Published in ACM Crossroads)
- 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)
- 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)
- 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)
- Inside Vaucanson (News year 2005, Has title Inside Vaucanson, Published in Proceedings of Implementation and Application of Automata10th International Conference (CIAA))
- Distribution, approximation and probabilistic model checking (News year 2005, Has title Distribution, approximation and probabilistic model checking, Published in Proceedings of the 4th international workshop on Parallel and Distributed Model Checking (PDMC))
- 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))
- 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))
- Probabilistic verification and approximation (News year 2005, Has title Probabilistic verification and approximation, Published in Proceedings of 12th Workshop on Logic, LanguageInformation and Computation (Wollic))
- 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))
- 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))
- Ruminations on Tarjan's Union-Find algorithm and connected operators (News year 2005, Has title Ruminations on Tarjan's Union-Find algorithm and connected operators, Published in Proceedings of the 7th International Symposium on Mathematical Morphology (ISMM'05))
- A fast and exact algorithm for total variation minimization (News year 2005, Has title A fast and exact algorithm for total variation minimization)
- Proposal: an XML representation for automata (News year 2004, Has title Proposal: an XML representation for automata)
- Introducing Vaucanson (News year 2004, Has title Introducing Vaucanson, Published in Theoretical Computer Science)
- Exact optimization of discrete constrained total variation minimization problems (News year 2004, Has title Exact optimization of discrete constrained total variation minimization problems)
- Fast road network extraction in satellite images using mathematical morphology and Markov random fields (News year 2004, Has title Fast road network extraction in satellite images using mathematical morphology and Markov random fields, Published in EURASIP Journal on Applied Signal Processing)
- Exact optimization of discrete constrained total variation minimization problems (News year 2004, Has title Exact optimization of discrete constrained total variation minimization problems, Published in Proceedings of the 10th International Workshop on Combinatorial Image Analysis (IWCIA))
- Person authentication based on hand shape (News year 2004, Has title Person authentication based on hand shape, Published in Proceedings of 12th European Signal Processing Conference (EUSIPCO))
- Fast color image segmentation based on levellings in feature Space (News year 2004, Has title Fast color image segmentation based on levellings in feature Space, Published in Computer Vision and Graphics—International Conference on Computer Vision and Graphics (ICCVG), Warsaw, PolandSeptember 2004)
- Fusion of spatial relationships for guiding recognitionexample of brain structure recognition in 3D MRI (News year 2004, Has title Fusion of spatial relationships for guiding recognitionexample of brain structure recognition in 3D MRI, Published in Pattern Recognition Letters)
- A novel method to fight the non line of sight error in AOA measurements for mobile location (News year 2004, Has title A novel method to fight the non line of sight error in AOA measurements for mobile location, Published in Proceedings of the IEEE International Conference on Communications (ICC))
- Metagene, a C++ meta-program generation tool (News year 2004, Has title Metagene, a C++ meta-program generation tool, Published in Proceedings of the Workshop on Multiple Paradigm with OO Languages (MPOOL; in conjunction with ECOOP))
- Unified texture management for arbitrary meshes (News year 2004, Has title Unified texture management for arbitrary meshes)
- Generic algorithmic blocks dedicated to image processing (News year 2004, Has title Generic algorithmic blocks dedicated to image processing, Published in Proceedings of the ECOOP Workshop for PhD Students)
- Probabilistic model checking of the CSMA/CD, protocol using PRISM and APMC (News year 2004, Has title Probabilistic model checking of the CSMA/CD, protocol using PRISM and APMC, Published in Proceedings of the 4th International Workshop on Automated Verification of Critical Systems (AVoCS))
- A static C++ object-oriented programming (SCOOP) paradigm mixing benefits of traditional OOP and generic programming (News year 2003, Has title A static C++ object-oriented programming (SCOOP) paradigm mixing benefits of traditional OOP and generic programming, Published in Proceedings of the Workshop on Multiple Paradigm with Object-Oriented Languages (MPOOL))
- Representation and fusion of heterogeneous fuzzy information in the 3D space for model-based structural recognition—application to 3D brain imaging (News year 2003, Has title Representation and fusion of heterogeneous fuzzy information in the 3D space for model-based structural recognition—application to 3D brain imaging, Published in Artificial Intelligence)
- Program templates: expression templates applied to program evaluation (News year 2003, Has title Program templates: expression templates applied to program evaluation, Published in Proceedings of the Workshop on Declarative Programming in the Context of Object-Oriented Languages (DP-COOL; in conjunction with PLI))
- 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 (News year 2003, Has title 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, Published in Proceedings of the International Conference on Image and Signal Processing (ICISP))
- On orthogonal specialization in C++: dealing with efficiency and algebraic abstraction in Vaucanson (News year 2003, Has title On orthogonal specialization in C++: dealing with efficiency and algebraic abstraction in Vaucanson, Published in Proceedings of the Parallel/High-performance Object-Oriented Scientific Computing (POOSC; in conjunction with ECOOP))
- Introducing Vaucanson (News year 2003, Has title Introducing Vaucanson, Published in Proceedings of Implementation and Application of Automata8th International Conference (CIAA'03))
- Document type recognition using evidence theory (News year 2003, Has title Document type recognition using evidence theory, Published in Proceedings of the 5th IAPR International Workshop on Graphics Recognition (GREC))
- Multi-band segmentation using morphological clustering and fusion application to color image segmentation (News year 2003, Has title Multi-band segmentation using morphological clustering and fusion application to color image segmentation, Published in Proceedings of the IEEE International Conference on Image Processing (ICIP))
- Segmentation of curvilinear objects using a watershed-based curve adjacency graph (News year 2003, Has title Segmentation of curvilinear objects using a watershed-based curve adjacency graph, Published in Proceedings of the 1st Iberian Conference on Pattern Recognition and Image Analysis (IbPRIA))
- Fast Road Network Extraction in Satellite Images using Mathematical Morphology and MRF (News year 2003, Has title Fast Road Network Extraction in Satellite Images using Mathematical Morphology and MRF, Published in Proceedings of the EURASIP Workshop on Nonlinear Signal and Image Processing (NSIP))
- Polar type inference with intersection types and ω (News year 2002, Has title Polar type inference with intersection types and ω, Published in Proceedings of the 2nd Workshop on Intersection Types and Related Systems (ITRS), published in: Electronic Notes in Theoretical Computer Science)
- Generic implementation of morphological image operators (News year 2002, Has title Generic implementation of morphological image operators, Published in Mathematical Morphology, Proceedings of the 6th International Symposium (ISMM))
- Color image segmentation based on automatic morphological clustering (News year 2001, Has title Color image segmentation based on automatic morphological clustering, Published in Proceedings of the IEEE International Conference on Image Processing (ICIP))
- Virtual reality and tele-operation: a common framework (News year 2001, Has title Virtual reality and tele-operation: a common framework, Published in Proceedings of the 5th World Multi-Conference on Systemics, Cybernetics and Informatics (SCI)—Emergent Computing and Virtual Engineering)
- Expression templates in Ada 95 (News year 2001, Has title Expression templates in Ada 95, Published in Proceedings of the 6th International Conference on Reliable Software Technologies (Ada-Europe))
- Segmentation d'images en couleur par classification morphologique non supervisée (News year 2001, Has title Segmentation d'images en couleur par classification morphologique non supervisée, Published in Proceedings of the International Conference on Image and Signal Processing (ICISP))
- Applying generic programming to image processing (News year 2001, Has title Applying generic programming to image processing, Published in Proceedings of the IASTED International Conference on Applied Informatics (AI)—Symposium on Advances in Computer Applications)
- Visualization issues in virtual environments: from computer graphics techniques to intentional visualization (News year 2001, Has title Visualization issues in virtual environments: from computer graphics techniques to intentional visualization, Published in Proceedings of the 9th International Conference in Central Europe on Computer Graphics, Visualization and Computer Vision (WSCG))
- Error correcting code performance for watermark protection (News year 2001, Has title Error correcting code performance for watermark protection, Published in Proceedings of the 13th Symposium SPIE on Electronic Imaging—-Security and Watermarking of Multimedia Contents III (EI27))
- Generic design patterns in C++ (News year 2001, Has title Generic design patterns in C++, Published in Proceedings of the 6th USENIX Conference on Object-Oriented Technologies and Systems (COOTS))
- Urbi et Orbi: unusual design and implementation choices for distributed virtual environments (News year 2000, Has title Urbi et Orbi: unusual design and implementation choices for distributed virtual environments, Published in Proceedings of the 6th International Conference on Virtual Systems and MultiMedia (VSMM)—Intelligent Environments Workshop)
- Olena: a component-based platform for image processingmixing generic, generative and OO programming (News year 2000, Has title Olena: a component-based platform for image processingmixing generic, generative and OO programming, Published in Proceedings of the 2nd International Symposium on Generative and Component-Based Software Engineering (GCSE)—Young Researchers Workshop; published in “Net.ObjectDays2000”)
- Action recognition: how intelligent virtual environments can ease human-machine interaction (News year 2000, Has title Action recognition: how intelligent virtual environments can ease human-machine interaction, Published in Proceedings of the 6th International Conference on Virtual Systems and MultiMedia (VSMM)—Intelligent Environments Workshop)
- Obtaining genericity for image processing and pattern recognition algorithms (News year 2000, Has title Obtaining genericity for image processing and pattern recognition algorithms, Published in Proceedings of the 15th International Conference on Pattern Recognition (ICPR))
- A framework to dynamically manage distributed virtual environments (News year 2000, Has title A framework to dynamically manage distributed virtual environments, Published in Proceedings of the 2nd International Conference on Virtual Worlds (VW))
- Generic programming redesign of patterns (News year 2000, Has title Generic programming redesign of patterns, Published in Proceedings of the 5th European Conference on Pattern Languages of Programs (EuroPLoP))
- An asynchronous architecture to manage communicationdisplay, and user interaction in distributed virtual environments (News year 2000, Has title An asynchronous architecture to manage communicationdisplay, and user interaction in distributed virtual environments, Published in Virtual Environments 2000, Proceedings of the 6th Eurographics Workshop on Virtual Environments (EGVE))
- Reconnaissance de structures cérébrales à l'aide d'un atlas et par fusion d'informations structurelles floues (News year 2000, Has title Reconnaissance de structures cérébrales à l'aide d'un atlas et par fusion d'informations structurelles floues, Published in Actes du 12ème Congrès Francophone AFRIF-AFIA de Reconnaissance des Formes et Intelligence Artificielle (RFIA))
- Une bibliothèque et un environnement de programmation d'opérateurs de traitement d'images (News year 1999, Has title Une bibliothèque et un environnement de programmation d'opérateurs de traitement d'images)
- Vers une réutilisabilité totale des algorithmes de traitement d'images (News year 1999, Has title Vers une réutilisabilité totale des algorithmes de traitement d'images, Published in Proceedings of the 17th Symposium on Signal and Image Processing (GRETSI))
- Atlas-guided recognition of cerebral structures in MRI using fusion of fuzzy structural information (News year 1999, Has title Atlas-guided recognition of cerebral structures in MRI using fusion of fuzzy structural information, Published in Proceeding of CIMAF Symposium on Artificial Intelligence)