Semantic search
No value
- (Dynamic (Programming Paradigms)) ;; Performance and Expressivity (News year 2020, Has title (Dynamic (Programming Paradigms)) ;; Performance and Expressivity)
- 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))
- A 4D Counter-Example Showing that DWCness Does Not Imply CWCness in n-D (News year 2020, Has title A 4D Counter-Example Showing that DWCness Does Not Imply CWCness in n-D, Published in Combinatorial Image Analysis: Proceedings of the 20th International Workshop, IWCIA 2020, Novi Sad, Serbia, July 16–18, 2020)
- A Benchmark of Named Entity Recognition Approaches in Historical Documents (News year 2022, Has title A Benchmark of Named Entity Recognition Approaches in Historical Documents, Published in Proceedings of the 15th IAPR International Workshop on Document Analysis System)
- A Challenging Issue: Detection of White Matter Hyperintensities in Neonatal Brain MRI (News year 2016, Has title A Challenging Issue: Detection of White Matter Hyperintensities in Neonatal Brain MRI, Published in Proceedings of the Annual International Conference of the IEEE Engineering in Medicine and Biology Society)
- 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))
- A Color Tree of Shapes with Illustrations on FilteringSimplification, and Segmentation (News year 2015, Has title A Color Tree of Shapes with Illustrations on FilteringSimplification, and Segmentation, Published in Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 12th International Symposium on Mathematical Morphology (ISMM))
- A Comparative Review of Component Tree Computation Algorithms (News year 2014, Has title A Comparative Review of Component Tree Computation Algorithms, Published in IEEE Transactions on Image Processing)
- A Corpus Processing and Analysis Pipeline for Quickref (News year 2021, Has title A Corpus Processing and Analysis Pipeline for Quickref, Published in Proceedings of the 14th European Lisp Symposium (ELS))
- 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))
- A First Parallel Algorithm to Compute the Morphological Tree of Shapes of nD Images (News year 2014, Has title A First Parallel Algorithm to Compute the Morphological Tree of Shapes of nD Images, Published in Proceedings of the 21st International Conference on Image Processing (ICIP))
- A Formally-Proved Algorithm to Compute the Correct Average of Decimal Floating-Point Numbers (News year 2018, Has title A Formally-Proved Algorithm to Compute the Correct Average of Decimal Floating-Point Numbers, Published in 25th IEEE Symposium on Computer Arithmetic)
- A Global Benchmark of Algorithms for Segmenting the Left Atrium from Late Gadolinium-Enhanced Cardiac Magnetic Resonance Imaging (News year 2020, Has title A Global Benchmark of Algorithms for Segmenting the Left Atrium from Late Gadolinium-Enhanced Cardiac Magnetic Resonance Imaging, Published in Medical Image Analysis)
- A Kleene Theorem for Higher-Dimensional Automata (News year 2022, Has title A Kleene Theorem for Higher-Dimensional Automata, Published in 33rd International Conference on Concurrency Theory (CONCUR 2022))
- A Machine Learning Based Splitting Heuristic for Divide-and-Conquer Solvers (News year 2020, Has title A Machine Learning Based Splitting Heuristic for Divide-and-Conquer Solvers, Published in Proceedings of the 26 th International Conference on Principles and Practice of Constraint Programming (CP'20))
- A Modern C++ Point of View of Programming in Image Processing (News year 2022, Has title A Modern C++ Point of View of Programming in Image Processing, Published in Proceedings of the 21st International Conference on Generative Programming: Concepts & Experiences (GPCE 2022))
- A Morphological Method for Music Score Staff Removal (News year 2014, Has title A Morphological Method for Music Score Staff Removal, Published in Proceedings of the 21st International Conference on Image Processing (ICIP))
- A Morphological Tree of Shapes for Color Images (News year 2014, Has title A Morphological Tree of Shapes for Color Images, Published in Proceedings of the 22nd International Conference on Pattern Recognition (ICPR))
- A Myhill-Nerode Theorem for Higher-Dimensional Automata (News year 2023, Has title A Myhill-Nerode Theorem for Higher-Dimensional Automata, Published in Application and Theory of Petri Nets and Concurrency (PETRI NETS))
- A New Matching Algorithm between Trees of Shapes and its Application to Brain Tumor Segmentation (News year 2021, Has title A New Matching Algorithm between Trees of Shapes and its Application to Brain Tumor Segmentation, Published in Proceedings of the IAPR International Conference on Discrete Geometry and Mathematical Morphology (DGMM))
- A New Minimum Barrier Distance for Multivariate Images with Applications to Salient Object Detection, Shortest Path Finding, and Segmentation (News year 2020, Has title A New Minimum Barrier Distance for Multivariate Images with Applications to Salient Object Detection, Shortest Path Finding, and Segmentation, Published in Computer Vision and Image Understanding)
- 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))
- A Portable, Simple, Embeddable Type System (News year 2021, Has title A Portable, Simple, Embeddable Type System, Published in Proceedings of the 14th European Lisp Symposium (ELS))
- A Quasi-Linear Algorithm to Compute the Tree of Shapes of n-D Images (News year 2013, Has title A Quasi-Linear Algorithm to Compute the Tree of Shapes of n-D Images, Published in Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 11th International Symposium on Mathematical Morphology (ISMM))
- A Secure Blockchain-Based Architecture for the COVID-19 Data Network (News year 2021, Has title A Secure Blockchain-Based Architecture for the COVID-19 Data Network, Published in 2021 5th Cyber Security in Networking Conference (CSNet))
- A Self-Adaptive Likelihood Function for Tracking with Particle Filter (News year 2015, Has title A Self-Adaptive Likelihood Function for Tracking with Particle Filter, Published in Proceedings of the 10th International Conference on Computer Vision Theory and Applications (VISAPP))
- 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))
- A Study of Well-Composedness in n-D (News year 2016, Has title A Study of Well-Composedness in n-D)
- 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))
- A Theoretical and Numerical Analysis of the Worst-Case Size of Reduced Ordered Binary Decision Diagrams (News year 2018, Has title A Theoretical and Numerical Analysis of the Worst-Case Size of Reduced Ordered Binary Decision Diagrams, Published in ACM Transactions on Computational Logic)
- A Tree of Shapes for Multivariate Images (News year 2015, Has title A Tree of Shapes for Multivariate Images)
- A Tutorial on Well-Composedness (News year 2017, Has title A Tutorial on Well-Composedness, Published in Journal of Mathematical Imaging and Vision)
- A Two-Stage Temporal-Like Fully Convolutional Network Framework for Left Ventricle Segmentation and Quantification on MR Images (News year 2020, Has title A Two-Stage Temporal-Like Fully Convolutional Network Framework for Left Ventricle Segmentation and Quantification on MR Images, Published in Statistical Atlases and Computational Models of the Heart. Multi-Sequence CMR Segmentation, CRT-EPiggy and LV Full Quantification Challenges—10th International WorkshopSTACOM 2019, Held in Conjunction with MICCAI 2019Shenzhen, China, October 13, 2019, Revised Selected Papers)
- A Type System for Weighted Automata and Rational Expressions (News year 2014, Has title A Type System for Weighted Automata and Rational Expressions, Published in Proceedings of Implementation and Application of Automata19th International Conference (CIAA'14))
- 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)
- A blockchain-based certificate revocation management and status verification system (News year 2021, Has title A blockchain-based certificate revocation management and status verification system, Published in Computers & Security)
- A comparison of many max-tree computation algorithms (News year 2013, Has title A comparison of many max-tree computation algorithms, Published in Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 11th International Symposium on Mathematical Morphology (ISMM))
- A fast and exact algorithm for total variation minimization (News year 2005, Has title A fast and exact algorithm for total variation minimization)
- A first step toward a fair comparison of evaluation protocols for text detection algorithms (News year 2018, Has title A first step toward a fair comparison of evaluation protocols for text detection algorithms, Published in Proceedings of the IAPR International Workshop on Document Analysis Systems (DAS))
- 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))
- 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)
- 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))
- A precise skew estimation algorithm for document images using KNN clustering and Fourier transform (News year 2014, Has title A precise skew estimation algorithm for document images using KNN clustering and Fourier transform, Published in Proceedings of the 21st International Conference on Image Processing (ICIP))
- 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))
- AGAT: Building and Evaluating Binary Partition Trees for Image Segmentation (News year 2021, Has title AGAT: Building and Evaluating Binary Partition Trees for Image Segmentation, Published in SoftwareX)
- 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)
- 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)
- Advances in Utilization of Hierarchical Representations in Remote Sensing Data Analysis (News year 2017, Has title Advances in Utilization of Hierarchical Representations in Remote Sensing Data Analysis, Published in Comprehensive Remote Sensing, 1st Edition)
- 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))
- Algorithms for Mathematical Morphology (News year 2010, Has title Algorithms for Mathematical Morphology, Published in Mathematical Morphology—From Theory to Applications)
- 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)
- An Equivalence Relation between Morphological Dynamics and Persistent Homology in 1D (News year 2019, Has title An Equivalence Relation between Morphological Dynamics and Persistent Homology in 1D, Published in Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 14th International Symposium on Mathematical Morphology (ISMM))
- An Equivalence Relation between Morphological Dynamics and Persistent Homology in n-D (News year 2021, Has title An Equivalence Relation between Morphological Dynamics and Persistent Homology in n-D, Published in Proceedings of the IAPR International Conference on Discrete Geometry and Mathematical Morphology (DGMM))
- An Experience Report on the Optimization of the Product Configuration System of Renault (News year 2023, Has title An Experience Report on the Optimization of the Product Configuration System of Renault, Published in 26th International Conference on Engineering of Complex Computer Systems)
- An Image Processing Library in Modern C++: Getting Simplicity and Efficiency with Generic Programming (News year 2018, Has title An Image Processing Library in Modern C++: Getting Simplicity and Efficiency with Generic Programming, Published in Proceedings of the 2nd Workshop on Reproducible Research in Pattern Recognition (RRPR 2018))
- An Innovative and Decentralized Identity Framework Based on Blockchain Technology (News year 2021, Has title An Innovative and Decentralized Identity Framework Based on Blockchain Technology, Published in 2021 11th IFIP International Conference on New Technologies, Mobility and Security (NTMS))
- 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))
- 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))
- 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))
- Analysis of Algorithms Calculating the Maximal Disjoint Decomposition of a Set (News year 2017, Has title Analysis of Algorithms Calculating the Maximal Disjoint Decomposition of a Set)
- Anomaly Detection on Static and Dynamic Graphs using Graph Convolutional Neural Networks (News year 2022, Has title Anomaly Detection on Static and Dynamic Graphs using Graph Convolutional Neural Networks, Published in Robotics and AI for Cybersecurity and Critical Infrastructure in Smart Cities)
- 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)
- Approaches in Typecase Optimization (News year 2018, Has title Approaches in Typecase Optimization, Published in European Lisp Symposium)
- 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)
- 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))
- 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)
- 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))
- Augmented Songbook: an Augmented Reality Educational Application for Raising Music Awareness (News year 2017, Has title Augmented Songbook: an Augmented Reality Educational Application for Raising Music Awareness, Published in Multimedia Tools and Applications)
- Automatically Guided Selection of a Set of Underwater Calibration Images (News year 2022, Has title Automatically Guided Selection of a Set of Underwater Calibration Images)
- Automation of Binary Analysis: From Open Source Collection to Threat Intelligence (News year 2021, Has title Automation of Binary Analysis: From Open Source Collection to Threat Intelligence, Published in Proceedings of the 28th C&ESAR)
- 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)
- Benchmark on Automatic 6-month-old Infant Brain Segmentation Algorithms: The iSeg-2017 Challenge (News year 2019, Has title Benchmark on Automatic 6-month-old Infant Brain Segmentation Algorithms: The iSeg-2017 Challenge, Published in IEEE Transactions on Medical Imaging)
- Benchmarking Keypoint Filtering Approaches for Document Image Matching (News year 2017, Has title Benchmarking Keypoint Filtering Approaches for Document Image Matching, Published in Proceedings of the 14th International Conference on Document Analysis and Recognition (ICDAR))
- 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)
- 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)
- 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)
- Blockchain-Based Solution for Detecting and Preventing Fake Check Scams (News year 2021, Has title Blockchain-Based Solution for Detecting and Preventing Fake Check Scams, Published in IEEE Transactions on Engineering Management)
- Braids of Partitions for the Hierarchical Representation and Segmentation of Multimodal Images (News year 2019, Has title Braids of Partitions for the Hierarchical Representation and Segmentation of Multimodal Images, Published in Pattern Recognition)
- 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)
- 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)
- CDCLSym: Introducing Effective Symmetry Breaking in SAT Solving (News year 2018, Has title CDCLSym: Introducing Effective Symmetry Breaking in SAT Solving, Published in Proceedings of the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'18))
- CLOS Efficiency: Instantiation (News year 2009, Has title CLOS Efficiency: Instantiation, Published in Proceedings of the International Lisp Conference)
- 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)
- 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)
- Caractérisation des zones de mouvement périodiques pour applications bio-médicales (News year 2017, Has title Caractérisation des zones de mouvement périodiques pour applications bio-médicales, Published in Actes du 26e Colloque GRETSI)
- Catoids and Modal Convolution Algebras (News year 2023, Has title Catoids and Modal Convolution Algebras, Published in Algebra Universalis)
- Cepstral and Long-Term Features for Emotion Recognition (News year 2009, Has title Cepstral and Long-Term Features for Emotion Recognition, Published in Interspeech)
- Classes, Styles, Conflicts: the Biological Realm of LaTeX (News year 2010, Has title Classes, Styles, Conflicts: the Biological Realm of LaTeX, Published in TUGboat)
- 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))
- Combining Deep Learning and Mathematical Morphology for Historical Map Segmentation (News year 2021, Has title Combining Deep Learning and Mathematical Morphology for Historical Map Segmentation, Published in Proceedings of the IAPR International Conference on Discrete Geometry and Mathematical Morphology (DGMM))
- 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)
- Combining Explicit and Symbolic LTL Model Checking Using Generalized Testing Automata (News year 2015, Has title Combining Explicit and Symbolic LTL Model Checking Using Generalized Testing Automata, Published in Proceedings of the 15th International Conference on Application of Concurrency to System Design (ACSD'15))
- Combining Parallel Emptiness Checks with Partial Order Reductions (News year 2019, Has title Combining Parallel Emptiness Checks with Partial Order Reductions, Published in Proceedings of the 21st International Conference on Formal Engineering Methods (ICFEM'19))
- Community and LBD-based Clause Sharing Policy for Parallel SAT Solving (News year 2020, Has title Community and LBD-based Clause Sharing Policy for Parallel SAT Solving, Published in Proceedings of the 23rd International Conference on Theory and Applications of Satisfiability Testing (SAT'20))
- Comparing Use-Cases of Tree-Fold vs Fold-Left, How to Fold and Color a Map (News year 2022, Has title Comparing Use-Cases of Tree-Fold vs Fold-Left, How to Fold and Color a Map, Published in Symposium on Implementation and Application of Functional Languages)
- 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))
- 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)
- Compositional Approach to Suspension and Other Improvements to LTL Translation (News year 2013, Has title Compositional Approach to Suspension and Other Improvements to LTL Translation, Published in Proceedings of the 20th International SPIN Symposium on Model Checking of Software (SPIN'13))
- Connected Filtering on Tree-Based Shape-Spaces (News year 2015, Has title Connected Filtering on Tree-Based Shape-Spaces, Published in IEEE Transactions on Pattern Analysis and Machine Intelligence)
- Connected Filters on Generalized Shape-Spaces (News year 2019, Has title Connected Filters on Generalized Shape-Spaces, Published in Pattern Recognition Letters)