Property

Published in

From LRDE

Text

previous 5002050100250500next 500
Showing 411 pages using this property.
1
10 years of confrontation between French Internet users and their successive governments +
Proceedings of the 7th European Conference on e-Government (ECEG)  +
A
A 4D Counter-Example Showing that DWCness Does Not Imply CWCness in n-D +
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 +
Proceedings of the 15th IAPR International Workshop on Document Analysis System  +
A Challenging Issue: Detection of White Matter Hyperintensities in Neonatal Brain MRI +
Proceedings of the Annual International Conference of the IEEE Engineering in Medicine and Biology Society  +
A Channel-Blind System for Speaker Verification +
International Conference on Acoustics, Speech and Signal Processing (ICASSP)  +
A Color Tree of Shapes with Illustrations on FilteringSimplification, and Segmentation +
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 +
IEEE Transactions on Image Processing  +
A Corpus Processing and Analysis Pipeline for Quickref +
Proceedings of the 14th European Lisp Symposium (ELS)  +
A Fast and Exact Algorithm for Total Variation Minimization +
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 +
Proceedings of the 21st International Conference on Image Processing (ICIP)  +
A Formally-Proved Algorithm to Compute the Correct Average of Decimal Floating-Point Numbers +
25th IEEE Symposium on Computer Arithmetic  +
A Global Benchmark of Algorithms for Segmenting the Left Atrium from Late Gadolinium-Enhanced Cardiac Magnetic Resonance Imaging +
Medical Image Analysis  +
A Kleene Theorem for Higher-Dimensional Automata +
33rd International Conference on Concurrency Theory (CONCUR 2022)  +
A Machine Learning Based Splitting Heuristic for Divide-and-Conquer Solvers +
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 +
Proceedings of the 21st International Conference on Generative Programming: Concepts & Experiences (GPCE 2022)  +
A Morphological Method for Music Score Staff Removal +
Proceedings of the 21st International Conference on Image Processing (ICIP)  +
A Morphological Tree of Shapes for Color Images +
Proceedings of the 22nd International Conference on Pattern Recognition (ICPR)  +
A Myhill-Nerode Theorem for Higher-Dimensional Automata +
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 +
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 +
Computer Vision and Image Understanding  +
A Note on the Discrete Binary Mumford-Shah Model +
Proceedings of the international Computer Vision / Computer Graphics Collaboration Techniques and Applications (MIRAGE 2007)  +
A Portable, Simple, Embeddable Type System +
Proceedings of the 14th European Lisp Symposium (ELS)  +
A Quasi-Linear Algorithm to Compute the Tree of Shapes of n-D Images +
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 +
2021 5th Cyber Security in Networking Conference (CSNet)  +
A Self-Adaptive Likelihood Function for Tracking with Particle Filter +
Proceedings of the 10th International Conference on Computer Vision Theory and Applications (VISAPP)  +
A Set of Tools to Teach Compiler Construction +
Proceedings of the Thirteenth Annual Conference on Innovation and Technology in Computer Science Education (ITICSE'08)  +
A Survey of French Local e-Democracy +
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 +
ACM Transactions on Computational Logic  +
A Tutorial on Well-Composedness +
Journal of Mathematical Imaging and Vision  +
A Two-Stage Temporal-Like Fully Convolutional Network Framework for Left Ventricle Segmentation and Quantification on MR Images +
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 +
Proceedings of Implementation and Application of Automata19th International Conference (CIAA'14)  +
A Vectorial Self-Dual Morphological Filter based on Total Variation Minimization +
Proceedings of the First International Conference on Visual Computing  +
A blockchain-based certificate revocation management and status verification system +
Computers & Security  +
A comparison of many max-tree computation algorithms +
Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 11th International Symposium on Mathematical Morphology (ISMM)  +
A first step toward a fair comparison of evaluation protocols for text detection algorithms +
Proceedings of the IAPR International Workshop on Document Analysis Systems (DAS)  +
A framework to dynamically manage distributed virtual environments +
Proceedings of the 2nd International Conference on Virtual Worlds (VW)  +
A novel method to fight the non line of sight error in AOA measurements for mobile location +
Proceedings of the IEEE International Conference on Communications (ICC)  +
A precise skew estimation algorithm for document images using KNN clustering and Fourier transform +
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 +
Proceedings of the Workshop on Multiple Paradigm with Object-Oriented Languages (MPOOL)  +
A translational pathway of deep learning methods in Gastro-Intestinal Endoscopy +
arXiv:2010.06034  +
AGAT: Building and Evaluating Binary Partition Trees for Image Segmentation +
SoftwareX  +
APMC 3.0: Approximate verification of Discrete and Continuous Time Markov Chains +
Proceedings of Qest 2006  +
Action recognition: how intelligent virtual environments can ease human-machine interaction +
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 +
Comprehensive Remote Sensing, 1st Edition  +
Algorithme de calcul de l'arbre des composantes avec applications à la reconnaissance des formes en imagerie satellitaire +
Proceedings of the 21st Symposium on Signal and Image Processing (GRETSI)  +
Algorithms for Mathematical Morphology +
Mathematical Morphology—From Theory to Applications  +
An Efficient Algorithm for Connected Attribute Thinnings and Thickenings +
Proceedings of the second International Conference on Visual Computing  +
An Equivalence Relation between Morphological Dynamics and Persistent Homology in 1D +
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 +
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 +
26th International Conference on Engineering of Complex Computer Systems  +
An Image Processing Library in Modern C++: Getting Simplicity and Efficiency with Generic Programming +
Proceedings of the 2nd Workshop on Reproducible Research in Pattern Recognition (RRPR 2018)  +
An Innovative and Decentralized Identity Framework Based on Blockchain Technology +
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 +
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 +
Virtual Environments 2000, Proceedings of the 6th Eurographics Workshop on Virtual Environments (EGVE)  +
An efficient algorithm for attribute openings and closings +
Proceedings of the 13th European Signal Processing Conference (EUSIPCO)  +
Anomaly Detection on Static and Dynamic Graphs using Graph Convolutional Neural Networks +
Robotics and AI for Cybersecurity and Critical Infrastructure in Smart Cities  +
Applying generic programming to image processing +
Proceedings of the IASTED International Conference on Applied Informatics (AI)—Symposium on Advances in Computer Applications  +
Approaches in Typecase Optimization +
European Lisp Symposium  +
Approximate Nash Equilibria for Multi-Player Games +
1st International Symposium on Algorithmic Games Theory  +
Approximate Probabilistic Model Checking for Programs +
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 +
Proceeding of CIMAF Symposium on Artificial Intelligence  +
Attribute Grammars for Modular Disambiguation +
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 +
Multimedia Tools and Applications  +
Automation of Binary Analysis: From Open Source Collection to Threat Intelligence +
Proceedings of the 28th C&ESAR  +
B
Beating C in Scientific Computing Applications +
Third European Lisp Workshop at ECOOP  +
Benchmark on Automatic 6-month-old Infant Brain Segmentation Algorithms: The iSeg-2017 Challenge +
IEEE Transactions on Medical Imaging  +
Benchmarking Keypoint Filtering Approaches for Document Image Matching +
Proceedings of the 14th International Conference on Document Analysis and Recognition (ICDAR)  +
Binary Methods Programming: the CLOS Perspective +
Proceedings of the First European Lisp Symposium  +
Binary Methods Programming: the CLOS Perspective (extended version) +
Journal of Universal Computer Science  +
Biological Realms in Computer Science: the Way You Don't (Want To) Think About Them +
Onward! 2011  +
Blockchain-Based Solution for Detecting and Preventing Fake Check Scams +
IEEE Transactions on Engineering Management  +
Braids of Partitions for the Hierarchical Representation and Segmentation of Multimodal Images +
Pattern Recognition  +
Building Efficient Model checkers using Hierarchical Set Decision Diagrams and automatic Saturation +
Fundamenta Informaticae  +
Building LTL Model Checkers using Transition-based Generalized Büchi Automata +
Invited talk to SUMo'11  +
C
C-Transformers — A Framework to Write C Program Transformations +
ACM Crossroads  +
CDCLSym: Introducing Effective Symmetry Breaking in SAT Solving +
Proceedings of the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'18)  +
CLOS Efficiency: Instantiation +
Proceedings of the International Lisp Conference  +
CLOS solutions to binary methods +
Proceedings of the International MultiConference of Engineers and Computer Scientists  +
CLoX: Common Lisp objects for XEmacs +
Proceedings of the 3rd European Lisp Symposium  +
Caractérisation des zones de mouvement périodiques pour applications bio-médicales +
Actes du 26e Colloque GRETSI  +
Catoids and Modal Convolution Algebras +
Algebra Universalis  +
Cepstral and Long-Term Features for Emotion Recognition +
Interspeech  +
Classes, Styles, Conflicts: the Biological Realm of LaTeX +
TUGboat  +
Color image segmentation based on automatic morphological clustering +
Proceedings of the IEEE International Conference on Image Processing (ICIP)  +
Combining Deep Learning and Mathematical Morphology for Historical Map Segmentation +
Proceedings of the IAPR International Conference on Discrete Geometry and Mathematical Morphology (DGMM)  +
Combining Explicit and Symbolic LTL Model Checking Using Generalized Testing Automata +
Proceedings of the 15th International Conference on Application of Concurrency to System Design (ACSD'15)  +
Combining Parallel Emptiness Checks with Partial Order Reductions +
Proceedings of the 21st International Conference on Formal Engineering Methods (ICFEM'19)  +
Community and LBD-based Clause Sharing Policy for Parallel SAT Solving +
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 +
Symposium on Implementation and Application of Functional Languages  +
Comparison Between Factor Analysis and GMM Support Vector Machines for Speaker Verification +
Proceedings of the Speaker and Language Recognition Workshop (IEEE-Odyssey 2008)  +
Compiler Construction as an Effective Application to Teach Object-Oriented Programming +
The seventh “Killer Examples” workshop, Worked Examples for Sound OO Pedagogy, at OOPSLA'08  +
Compositional Approach to Suspension and Other Improvements to LTL Translation +
Proceedings of the 20th International SPIN Symposium on Model Checking of Software (SPIN'13)  +
Connected Filtering on Tree-Based Shape-Spaces +
IEEE Transactions on Pattern Analysis and Machine Intelligence  +
Connected Filters on Generalized Shape-Spaces +
Pattern Recognition Letters  +
Constructing a braid of partitions from hierarchies of partitions +
Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 14th International Symposium on Mathematical Morphology (ISMM)  +
Context-Based Energy Estimator: Application to Object Segmentation on the Tree of Shapes +
Proceedings of the 19th International Conference on Image Processing (ICIP)  +
Context-Oriented Image Processing +
Context-Oriented Programming Workshop  +
Continuous Well-Composedness implies Digital Well-Composedness in n-D +
Journal of Mathematical Imaging and Vision  +
Cosine Similarity Scoring without Score Normalization Techniques +
Odyssey The Speaker and Language Recognition  +
CosySEL: Improving SAT Solving Using Local Symmetries +
24th International Conference on Verification, Model Checking, and Abstract Interpretation  +
Current Trends in Blockchain Implementations on the Paradigm of Public Key Infrastructure: A Survey +
IEEE Access  +
D
Debug Packages in OpenBSD +
EuroBSDCon 2021  +
Deep Learning for Detection and Segmentation of Artefact and Disease Instances in Gastrointestinal Endoscopy +
Medical Image Analysis  +
Deep Neural Networks for Aberrations Compensation in Digital Holographic Imaging of the Retina +
Proceedings of the SPIE Conference on Adaptive Optics and Wavefront Control for Biological Systems V  +
Derived-Term Automata of Multitape Expressions with Composition +
Scientific Annals of Computer Science  +
Derived-Term Automata of Multitape Rational Expressions +
Proceedings of Implementation and Application of Automata21st International Conference (CIAA'16)  +
Derived-Term Automata of Weighted Rational Expressions with Quotient Operators +
Proceedings of the Thirteenth International Colloquium on Theoretical Aspects of Computing (ICTAC)  +
Derived-term Automata for Extended Weighted Rational Expressions +
Proceedings of the Thirteenth International Colloquium on Theoretical Aspects of Computing (ICTAC)  +
Discovering and Visualizing Tactics in Table Tennis Games Based on Subgroup Discovery +
Machine Learning and Data Mining for Sports Analytics - 9th International Workshop, MLSA 2022  +
Discrete Morse Functions and Watersheds +
Journal of Mathematical Imaging and Vision (Special Edition)  +
Discrete set-valued continuity and interpolation +
Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 11th International Symposium on Mathematical Morphology (ISMM)  +
Distribution, approximation and probabilistic model checking +
Proceedings of the 4th international workshop on Parallel and Distributed Model Checking (PDMC)  +
Diversifying a Parallel SAT Solver with Bayesian Moment Matching +
Symposium on Dependable Software Engineering TheoriesTools and Applications  +
Do not Treat Boundaries and Regions Differently: An Example on Heart Left Atrial Segmentation +
Proceedings of the 25th International Conference on Pattern Recognition (ICPR)  +
Document detection in videos captured by smartphones using a saliency-based method +
International Conference on Document Analysis and Recognition Workshops (ICDARW)  +
Document type recognition using evidence theory +
Proceedings of the 5th IAPR International Workshop on Graphics Recognition (GREC)  +
Découverte de sous-groupes de prédictions interprétables pour le triage d'incidents +
Extraction et Gestion des Connaissances, EGC 2022Blois, France, 24 au 28 janvier 2022  +
E
ENST-IRCGN System Description +
NIST SRE'06 Workshop: speaker recognition evaluation campaign  +
ETAP: Experimental Typesetting Algorithms Platform +
15th European Lisp Symposium  +
Effective Component Tree Computation with Application to Pattern Recognition in Astronomical Imaging +
Proceedings of the IEEE International Conference on Image Processing (ICIP)  +
Effective Reductions of Mealy Machines +
Proceedings of the 42nd International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE'22)  +
Efficient Computation of Attributes and Saliency Maps on Tree-Based Image Representations +
Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 12th International Symposium on Mathematical Morphology (ISMM)  +
Efficient Multiscale Sauvola's Binarization +
International Journal of Document Analysis and Recognition (IJDAR)  +
Electricity Price Forecasting on the Day-Ahead Market using Machine Learning +
Applied Energy  +
Energy Problems in Finite and Timed Automata with Büchi Conditions +
International Symposium on Formal Methods (FM)  +
Equivalence between Digital Well-Composedness and Well-Composedness in the Sense of Alexandrov on n-D Cubical Grids +
Journal of Mathematical Imaging and Vision  +
Error correcting code performance for watermark protection +
Proceedings of the 13th Symposium SPIE on Electronic Imaging—-Security and Watermarking of Multimedia Contents III (EI27)  +
Espaces des formes basés sur des arbres : définition et applications en traitement d'images et vision par ordinateur +
Actes du 19ème Congrès National sur Reconnaissance des Formes et l'Intelligence Artificielle (RFIA)  +
Estimating the Number of Endmembers to Use in Spectral Unmixing of Hyperspectral Data with Collaborative Sparsity +
Proceedings of the 13th International Conference on Latent Variable Analysis and Signal Separation (LVA-ICA)  +
Estimating the noise level function with the tree of shapes and non-parametric statistics +
Proceedings of the 18th International Conference on Computer Analysis of Images and Patterns (CAIP)  +
Estimation de la fonction de niveau de bruit pour des images couleurs en utilisant la morphologie mathématique +
28e Colloque sur le traitement du signal et des images  +
Estimation du niveau de bruit par arbre des formes et statistiques non paramétriques +
Proceedings of the 27st Symposium on Signal and Image Processing (GRETSI)  +
Estimation of the noise level function for color images using mathematical morphology and non-parametric statistics +
Proceedings of the 26th International Conference on Pattern Recognition  +
Euler Well-Composedness +
Combinatorial Image Analysis: Proceedings of the 20th International Workshop, IWCIA 2020, Novi Sad, Serbia, July 16–18, 2020  +
Evaluating complex MAC protocols for sensor networks with APMC +
Proceedings of the 6th International Workshop on Automated Verification of Critical Systems (AVoCS)  +
Evaluation of Anomaly Detection for Cybersecurity Using Inductive Node Embedding with Convolutional Graph Neural Networks +
Complex Network 2021  +
Exact optimization of discrete constrained total variation minimization problems +
Proceedings of the 10th International Workshop on Combinatorial Image Analysis (IWCIA)  +
Experimental digital Gabor hologram rendering of C. elegans worms by a model-trained convolutional neural network (Conference Presentation) +
Label-free Biomedical Imaging and Sensing (LBIS) 2020  +
Explicit State Model Checking with Generalized Büchi and Rabin Automata +
Proceedings of the 24th International SPIN Symposium on Model Checking of Software (SPIN'17)  +
Expression templates in Ada 95 +
Proceedings of the 6th International Conference on Reliable Software Technologies (Ada-Europe)  +
Extending Testing Automata to All LTL +
Proceedings of the 35th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE'15)  +
Extensible languages: blurring the distinction between DSLs and GPLs +
Formal and Practical Aspects of Domain-Specific Languages: Recent Developments  +
Extraction of Ancient Map Contents Using Trees of Connected Components +
Proceedings of the 12th IAPR International Workshop on Graphics Recognition (GREC)  +
F
FOANet: A Focus of Attention Network with Application to Myocardium Segmentation +
Proceedings of the 25th International Conference on Pattern Recognition (ICPR)  +
Fast Road Network Extraction in Satellite Images using Mathematical Morphology and MRF +
Proceedings of the EURASIP Workshop on Nonlinear Signal and Image Processing (NSIP)  +
Fast and Exact Discrete Image Restoration Based on Total Variation and on Its Extensions to Levelable Potentials +
SIAM Conference on Imaging Sciences  +
Fast color image segmentation based on levellings in feature Space +
Computer Vision and Graphics—International Conference on Computer Vision and Graphics (ICCVG), Warsaw, PolandSeptember 2004  +
Fast road network extraction in satellite images using mathematical morphology and Markov random fields +
EURASIP Journal on Applied Signal Processing  +
Featured Games +
Science of Computer Programming  +
Filtres connexes multivariés par fusion d'arbres de composantes +
Proceedings of the 27st Symposium on Signal and Image Processing (GRETSI)  +
Finite Automata Theory Based Optimization of Conditional Variable Binding +
European Lisp Symposium  +
First Attempt at Boltzmann Machines for Speaker Recognition +
Odyssey Speaker and Language Recognition Workshop  +
Forecasting Electricity Prices: An Optimize Then Predict-Based Approach +
Advances in Intelligent Data Analysis XXI  +
From Neonatal to Adult Brain MR Image Segmentation in a Few Seconds Using 3D-Like Fully Convolutional Network and Transfer Learning +
Proceedings of the 23rd IEEE International Conference on Image Processing (ICIP)  +
From Spot 2.0 to Spot 2.10: What's New? +
Proceedings of the 34th International Conference on Computer Aided Verification (CAV'22)  +
From text detection to text segmentation: a unified evaluation scheme +
Proceedings of the 2nd International Workshop on Robust Reading Conference (IWRR-ECCV)  +
Front-End Factor Analysis For Speaker Verification +
IEEE Transactions on Audio, Speech, and Language Processing  +
Fusion of spatial relationships for guiding recognitionexample of brain structure recognition in 3D MRI +
Pattern Recognition Letters  +
G
GMM Weights Adaptation Based on Subspace Approaches for Speaker Verification +
Odyssey 2014, The Speaker and Language Recognition Workshop  +
GenIDA, une base de données participative internationale permettant de mieux connaître l'histoire naturelle et les comorbidités des formes génétiques de troubles neurodéveloppementaux +
Assises de Génétique Humaine et Médicale  +
Generalized Büchi Automata versus Testing Automata for Model Checking +
Proceedings of the second International Workshop on Scalable and Usable Model Checking for Petri Net and other models of Concurrency (SUMO'11)  +
Generic Emptiness Check for Fun and Profit +
Proceedings of the 17th International Symposium on Automated Technology for Verification and Analysis (ATVA'19)  +
Generic Image Processing with Climb +
European Lisp Symposium  +
Generic algorithmic blocks dedicated to image processing +
Proceedings of the ECOOP Workshop for PhD Students  +
Generic design patterns in C++ +
Proceedings of the 6th USENIX Conference on Object-Oriented Technologies and Systems (COOTS)  +
Generic implementation of morphological image operators +
Mathematical Morphology, Proceedings of the 6th International Symposium (ISMM)  +
Generic programming redesign of patterns +
Proceedings of the 5th European Conference on Pattern Languages of Programs (EuroPLoP)  +
Getting a morphological Tree of Shapes for Multivariate Images: Paths, Traps and Pitfalls +
Proceedings of the 21st International Conference on Image Processing (ICIP)  +
Global Optimization for First Order Markov Random Fields with Submodular Priors +
Proceedings of the twelfth International Workshop on Combinatorial Image Analysis (IWCIA'08)  +
Go2Pins: A Framework for the LTL Verification of Go Programs +
Proceedings of the 27th International SPIN Symposium on Model Checking of Software (SPIN'21)  +
Go2Pins: A framework for the LTL verification of Go programs (Extended Version) +
International Journal on Software Tools for Technology Transfer (STTT)  +
Going beyond p-convolutions to learn grayscale morphological operators +
Proceedings of the IAPR International Conference on Discrete Geometry and Mathematical Morphology (DGMM)  +
Gradient Vector Fields of Discrete Morse Functions and Watershed-Cuts +
Proceedings of the IAPR International Conference on Discrete Geometry and Mathematical Morphology (DGMM)  +
Gradients Intégrés Renforcés +
Explain'AI - EGC Workshop  +
Greibach normal form for ω-algebraic systems and weighted simple ω-pushdown automata +
Information and Computation  +
Généricité dynamique pour des algorithmes morphologiques +
28e Colloque sur le traitement du signal et des images  +
H
Hate Speech and Toxic Comment Detection using Transformers +
Workshop EGC 2022 DL for NLP  +
Heuristics for Checking Liveness Properties with Partial Order Reductions +
Proceedings of the 14th International Symposium on Automated Technology for Verification and Analysis (ATVA'16)  +
Hierarchical Segmentation Using Tree-Based Shape Spaces +
IEEE Transactions on Pattern Analysis and Machine Intelligence  +
Hierarchical Set Decision Diagrams and Automatic Saturation +
Petri Nets and Other Models of Concurrency –ICATPN 2008  +
Hierarchical image simplification and segmentation based on Mumford-Shah-salient level line selection +
Submitted  +
Hierarchical image simplification and segmentation based on Mumford-Shah-salient level line selection +
Pattern Recognition Letters  +
High Throughput Automated Detection of Axial Malformations in Medaka Embryo +
Computers in Biology and Medicine  +
High throughput automated detection of axial malformations in fish embryo +
Communication at the 5th International Symposium and Workshop on Fish and Amphibian Embryos as Alternative Models in Toxicology and Teratology  +
Higher-Dimensional Timed and Hybrid Automata +
Leibniz Transactions on Embedded Systems  +
How to Boost Close-Range Remote Sensing Courses Using a Serious Game: Uncover in a Fun Way the Complexity and Transversality of Multi-Domain Field Acquisitions +
Remote Sensing  +
How to Make n-D Plain Maps Alexandrov-Well-Composed in a Self-dual Way +
Journal of Mathematical Imaging and Vision  +
How to Make nD Functions Digitally Well-Composed in a Self-Dual Way +
Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 12th International Symposium on Mathematical Morphology (ISMM)  +
How to Make nD Images Well-Composed Without Interpolation +
Proceedings of the IEEE International Conference on Image Processing (ICIP)  +
How to make Lisp go faster than C +
IAENG International Journal of Computer Science  +
How to make Lisp go faster than C +
Proceedings of the International MultiConference of Engineers and Computer Scientists  +
I
ICDAR 2021 Competition on Historical Map Segmentation +
Proceedings of the 16th International Conference on Document Analysis and Recognition (ICDAR'21)  +
Image restoration with discrete constrained Total Variation—Part I: Fast and exact optimization +
Journal of Mathematical Imaging and Vision  +
Image restoration with discrete constrained Total Variation—Part II: Levelable functions, convex priors and non-convex case +
Journal of Mathematical Imaging and Vision  +
Implementation Concepts in Vaucanson 2 +
Proceedings of Implementation and Application of Automata18th International Conference (CIAA'13)  +
Implementing Baker's SUBTYPEP decision procedure +
12th European Lisp Symposium  +
Improving Parallel State-Space Exploration Using Genetic Algorithms +
Proceedings of the 12th International Conference on Verification and Evaluation of Computer and Communication Systems (VECOS'18)  +
Improving swarming using genetic algorithms +
Innovations in Systems and Software Engineering: a NASA journal (ISSE)  +
Improving the Quality of Rule-Based GNN Explanations +
Workshop on eXplainable Knowledge Discovery in Data Mining. Machine Learning and Principles and Practice of Knowledge Discovery in Databases - International Workshops of ECML PKDD 2022, GrenobleFrance, September 19-23, 2022, Proceedings, Part I  +
In Pursuit of the Hidden Features of GNN's Internal Representations +
Data & Knowledge Engineering  +
Inside Vaucanson +
Proceedings of Implementation and Application of Automata10th International Conference (CIAA)  +
Intervertebral Disc Segmentation Using Mathematical Morphology—A CNN-Free Approach +
Proceedings of the 5th MICCAI Workshop & Challenge on Computational Methods and Clinical Applications for Spine Imaging (CSI)  +
Introducing Multivariate Connected Openings and Closings +
Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 14th International Symposium on Mathematical Morphology (ISMM)  +
Introducing Vaucanson +
Proceedings of Implementation and Application of Automata8th International Conference (CIAA'03)  +
Introducing Vaucanson +
Theoretical Computer Science  +
Introducing the Boundary-Aware Loss for Deep Image Segmentation +
Proceedings of the 32nd British Machine Vision Conference (BMVC)  +
Introducing the Dahu Pseudo-Distance +
Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 13th International Symposium on Mathematical Morphology (ISMM)  +
Introduction to the Special Issue on Distributed Hybrid Systems +
Leibniz Transactions on Embedded Systems  +
Is There a Best Büchi Automaton for Explicit Model Checking? +
Proceedings of the 21th International SPIN Symposium on Model Checking of Software (SPIN'14)  +
K
Kernel Combination for SVM Speaker Verification +
Proceedings of the Speaker and Language Recognition Workshop (IEEE-Odyssey 2008)  +
L
LRDE Speaker Recognition System for NIST-SRE 2010 +
NIST 2010 Speaker Recognition Evaluation  +
LRDE System description +
NIST SRE'06 Workshop: speaker recognition evaluation campaign  +
LTL Model Checking for Communicating Concurrent Programs +
Innovations in Systems and Software Engineering: a NASA journal (ISSE)  +
LTL Model Checking with Neco +
Proceedings of the 11th International Symposium on Automated Technology for Verification and Analysis (ATVA'13)  +
LTL Translation Improvements in Spot +
Proceedings of the 5th International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS'11)  +
LTL Translation Improvements in Spot 1.0 +
International Journal on Critical Computer-Based Systems  +
LTL under reductions with weaker conditions than stutter invariance +
Proceedings of the 41th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE'22)  +
La pseudo-distance du dahu +
Actes d'ORASIS  +
Label-Efficient Self-Supervised Speaker Verification With Information Maximization and Contrastive Learning +
Proc. Interspeech 2022  +
Language Recognition via I-Vectors and Dimensionality Reduction +
INTERSPEECH 2011  +
Learning Diversity Attributes in Multi-Session Recommendations +
2022 IEEE International Conference on Big Data (Big Data)  +
Learning Endmember Dynamics in Multitemporal Hyperspectral Data using a State-Space Model Formulation +
Proceedings of the 45th IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP)  +
Learning Grayscale Mathematical Morphology with Smooth Morphological Layers +
Journal of Mathematical Imaging and Vision  +
Learning Sentinel-2 Spectral Dynamics for Long-Run Predictions Using Residual Neural Networks +
Proceedings of the 29th European Signal Processing Conference (EUSIPCO)  +
Left Atrial Segmentation In a Few Seconds Using Fully Convolutional Network and Transfer Learning +
Proceedings of the Workshop on Statistical Atlases and Computational Modelling of the Heart (STACOM 2018), in conjunction with MICCAI  +
Linear and Non Linear Kernel GMM SuperVector Machines for Speaker Verification +
Proceedings of the European Conference on Speech Communication and Technologies (Interspeech'07)  +
Lisp, Jazz, Aikido +
The Art, Science and Engineering of Programming Journal  +
Local Intensity Order Transformation for Robust Curvilinear Object Segmentation +
IEEE Transactions on Image Processing  +
Local reasoning in fuzzy attribute graphs for optimizing sequential segmentation +
Proceedings of the 6th IAPR TC-15 Workshop on Graph-based Representations in Pattern Recognition (GBR)  +
M
MITLL 2012 Speaker Recognition Evaluation System Description +
NIST Speaker Recognition Evaluation  +
MToS: A Tree of Shapes for Multivariate Images +
IEEE Transactions on Image Processing  +
Making Compiler Construction Projects Relevant to Core Curriculums +
Proceedings of the Tenth Annual Conference on Innovation and Technology in Computer Science Education (ITICSE'05)  +
Manipulating LTL formulas using Spot 1.0 +
Proceedings of the 11th International Symposium on Automated Technology for Verification and Analysis (ATVA'13)  +
Max-Tree Computation on GPUs +
IEEE Transactions on Parallel and Distributed Systems  +
Meaningful disjoint level lines selection +
Proceedings of the 21st International Conference on Image Processing (ICIP)  +
Mechanizing the Minimization of Deterministic Generalized Büchi Automata +
Proceedings of the 34th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE'14)  +
Metagene, a C++ meta-program generation tool +
Proceedings of the Workshop on Multiple Paradigm with OO Languages (MPOOL; in conjunction with ECOOP)  +
Method Combinators +
11th European Lisp Symposium  +
Methods for Explaining Top-N Recommendations Through Subgroup Discovery +
Data Mining and Knowledge Discovery  +
Milena: Write Generic Morphological Algorithms Once, Run on Many Kinds of Images +
Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the Ninth International Symposium on Mathematical Morphology (ISMM)  +
Model Checking using Generalized Testing Automata +
Transactions on Petri Nets and Other Models of Concurrency (ToPNoC VI)  +
Model checking with generalized Rabin and Fin-less automata +
International Journal on Software Tools for Technology Transfer  +
Modeling of Sensor Networks Using XRM +
Proceedings of the 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA'06)  +
Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless Framework +
Proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'19)  +
Morphological Analysis of Brownian Motion for Physical Measurements +
Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 13th International Symposium on Mathematical Morphology (ISMM)  +
Morphological Filtering in Shape Spaces : Applications using Tree-Based Image Representations +
Proceedings of the 21st International Conference on Pattern Recognition (ICPR)  +
Morphological Hierarchical Image Decomposition Based on Laplacian 0-Crossings +
Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 13th International Symposium on Mathematical Morphology (ISMM)  +
Morphological Object Picking Based on the Color Tree of Shapes +
Proceedings of 5th International Conference on Image Processing Theory, Tools and Applications (IPTA'15)  +
Morphologie et algorithmes +
Morphologie mathématique 2 : estimation, choix et mise en œuvre  +
Morphology-Based Hierarchical Representation with Application to Text Segmentation in Natural Images +
Proceedings of the 23st International Conference on Pattern Recognition (ICPR)  +
Motion Compensation in Digital Holography for Retinal Imaging +
Proceedings of the IEEE International Symposium on Biomedical Imaging (ISBI)  +
Motion compensation based on Tangent Distance prediction for video compression +
Signal Processing: Image Communication  +
Multi-band segmentation using morphological clustering and fusion application to color image segmentation +
Proceedings of the IEEE International Conference on Image Processing (ICIP)  +
Multi-purpose Tactile Perception Based on Deep Learning in a New Tendon-driven Optical Tactile Sensor +
2022 IEEE/RSJ International Conference on Intelligent Robots and Systems  +
N
New Security Protocols for Offline Point-of-Sale Machines +
36th International Conference on Advanced Information Networking and Applications (AINA)  +
NixOS: A purely functional Linux distribution +
Journal of Functional Programming  +
O
Object tracking by hierarchical decomposition of hyperspectral video sequences: Application to chemical gas plume tracking +
IEEE Transactions on Geoscience and Remote Sensing  +
Obtaining genericity for image processing and pattern recognition algorithms +
Proceedings of the 15th International Conference on Pattern Recognition (ICPR)  +
Olena: a component-based platform for image processingmixing generic, generative and OO programming +
Proceedings of the 2nd International Symposium on Generative and Component-Based Software Engineering (GCSE)—Young Researchers Workshop; published in “Net.ObjectDays2000”  +
On GNN Explainability with Activation Rules +
Data Mining and Knowledge Discovery  +
On Making nD Images Well-Composed by a Self-Dual Local Interpolation +
Proceedings of the 18th International Conference on Discrete Geometry for Computer Imagery (DGCI)  +
On Refinement of Büchi Automata for Explicit Model Checking +
Proceedings of the 22th International SPIN Symposium on Model Checking of Software (SPIN'15)  +
On Robustness for the Skolem and Positivity Problems +
39th International Symposium on Theoretical Aspects of Computer Science STACS  +
On Some Associations Between Mathematical Morphology and Artificial Intelligence +
Proceedings of the IAPR International Conference on Discrete Geometry and Mathematical Morphology (DGMM)  +
On a Polynomial Vector Field Model for Shape Representation +
Proceedings of the International Conference on Image Analysis and Recognition (ICIAR)  +
On orthogonal specialization in C++: dealing with efficiency and algebraic abstraction in Vaucanson +
Proceedings of the Parallel/High-performance Object-Oriented Scientific Computing (POOSC; in conjunction with ECOOP)  +
On the Usefulness of Clause Strengthening in Parallel SAT Solving +
Proceedings of the 12th NASA Formal Methods Symposium (NFM'20)  +
On the security of quantum networks: a proposal framework and its capacity +
Proceedings of the 2007 International Conference on New Technologies, Mobility and Security (NTMS'07)  +
On-the-fly Emptiness Check of Transition-based Streett Automata +
Proceedings of the 7th International Symposium on Automated Technology for Verification and Analysis (ATVA'09)  +
One More Step Towards Well-Composedness of Cell Complexes over n-D Pictures +
Proceedings of the 21st International Conference on Discrete Geometry for Computer Imagery (DGCI)  +
Optimization of the Product Configuration System of Renault +
SAC '23: The 38th ACM/SIGAPP Symposium on Applied Computing  +
P
PAIP 2019: Liver Cancer Segmentation Challenge +
Medical Image Analysis  +
PaInleSS: a Framework for Parallel SAT Solving +
Proceedings of the 20th International Conference on Theory and Applications of Satisfiability Testing (SAT'17)  +
Parallel Computation of Component Trees on Distributed Memory Machines +
IEEE Transactions on Parallel and Distributed Systems  +
Parallel Explicit Model Checking for Generalized Büchi Automata +
Proceedings of the 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'15)  +
Parallel Learning Portfolio-Based Solvers +
Proceedings of the International Conference on Computational Science (ICCS)  +
Parallel Model Checking Algorithms for Linear-Time Temporal Logic +
Handbook of Parallel Constraint Reasoning  +
Parallel Satisfiability Solver Based on Hybrid Partitioning Method +
Proceedings of the 25th Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP)  +
Parallelizing Quickref +
12th European Lisp Symposium  +
Performance Comparison of Several Folding Strategies +
Trends in Functional Programming  +
Periodic Area-of-Motion characterization for Bio-Medical applications +
Proceedings of the IEEE International Symposium on Bio-Medical Imaging (ISBI)  +
Person authentication based on hand shape +
Proceedings of 12th European Signal Processing Conference (EUSIPCO)  +
Polar type inference with intersection types and ω +
Proceedings of the 2nd Workshop on Intersection Types and Related Systems (ITRS), published in: Electronic Notes in Theoretical Computer Science  +
Posets With Interfaces as a Model for Concurrency +
Information and Computation  +
Practical Application of Probabilistic Model Checking to Communication Protocols +
FMICS Handbook on Industrial Critical Systems  +
Practical Applications of the Alternating Cycle Decomposition +
Proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'22)  +
Practical Genericity: Writing Image Processing Algorithms Both Reusable and Efficient +
Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications – Proceedings of the 19th Iberoamerican Congress on Pattern Recognition (CIARP)  +
Practical Stutter-Invariance Checks for ω-Regular Languages +
Proceedings of the 22th International SPIN Symposium on Model Checking of Software (SPIN'15)  +
Practical “Paritizing” of Emerson–Lei Automata +
Proceedings of the 18th International Symposium on Automated Technology for Verification and Analysis (ATVA'20)  +
Probabilistic Verification of Sensor Networks +
Proceedings of the Fourth International Conference on Computer Sciences, Research, Innovation and Vision for the Future (RIVF'06)  +
Probabilistic abstraction for model checking: an approach based on property testing +
ACM Transactions on Computational Logic  +
Probabilistic model checking of the CSMA/CD, protocol using PRISM and APMC +
Proceedings of the 4th International Workshop on Automated Verification of Critical Systems (AVoCS)  +
Probabilistic verification and approximation +
Proceedings of 12th Workshop on Logic, LanguageInformation and Computation (Wollic)  +
Program templates: expression templates applied to program evaluation +
Proceedings of the Workshop on Declarative Programming in the Context of Object-Oriented Languages (DP-COOL; in conjunction with PLI)  +
Programmatic Manipulation of Common Lisp Type Specifiers +
European Lisp Symposium  +
Project EFIGI: Automatic classification of galaxies +
Astronomical Data Analysis Software and Systems XV  +
Q
QU-BraTS: MICCAI BraTS 2020 Challenge on Quantifying Uncertainty in Brain Tumor Segmentation — Analysis of Ranking Scores and Benchmarking Results +
Journal of Machine Learning for Biomedical Imaging (MELBA)  +
Qu'est-ce que mon GNN capture vraiment ? Exploration des représentations internes d'un GNN +
Extraction et Gestion des Connaissances, EGC 2022Blois, France, 24 au 28 janvier 2022  +
Quickref: Common Lisp Reference Documentation as a Stress Test for Texinfo +
TUGboat  +
R
Reactive Synthesis from LTL Specification with Spot +
Proceedings of the 7th Workshop on Synthesis, SYNT@CAV 2018  +
Real-Time Document Detection in Smartphone Videos +
Proceedings of the 24th IEEE International Conference on Image Processing (ICIP)  +
Real-Time Document Detection in Smartphone Videos +
Proceedings of the 24th IEEE International Conference on Image Processing (ICIP)  +
Recognizing Heterogeneous Sequences by Rational Type Expression +
Proceedings of the Meta'18: Workshop on Meta-Programming Techniques and Reflection  +
Reconnaissance de structures cérébrales à l'aide d'un atlas et par fusion d'informations structurelles floues +
Actes du 12ème Congrès Francophone AFRIF-AFIA de Reconnaissance des Formes et Intelligence Artificielle (RFIA)  +
Region-Based Classification of Remote Sensing Images with the Morphological Tree of Shapes +
Proceedings of the IEEE International Geoscience and Remote Sensing Symposium (IGARSS)  +
Report on the 5th Workshop ELW at ECOOP 2008 +
Object-Oriented Technology. ECOOP 2008 Workshop Reader  +
Representation and fusion of heterogeneous fuzzy information in the 3D space for model-based structural recognition—application to 3D brain imaging +
Artificial Intelligence  +
Residual 3D U-Net with Localization for Brain Tumor Segmentation +
International MICCAI Brainlesion Workshop  +
Resources for the DAS 2014 submission +
Proceedings of the 11th IAPR International Workshop on Document Analysis Systems (DAS)  +
Revisiting the Coco Panoptic Metric to Enable Visual and Qualitative Analysis of Historical Map Instance Segmentation +
Proceedings of the 16th International Conference on Document Analysis and Recognition (ICDAR'21)  +
Revisiting the Visitor: the Just Do It Pattern +
Proceedings of the ACCU Conference 2009  +
Revisiting the Visitor: the Just Do It Pattern +
Journal of Universal Computer Science  +
Ruminations on Tarjan's Union-Find algorithm and connected operators +
Proceedings of the 7th International Symposium on Mathematical Morphology (ISMM'05)  +
S
SAT-based Minimization of Deterministic ω-Automata +
Proceedings of the 20th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'15)  +
Saliency-Based Detection of Identity Documents Captured by Smartphones +
Proceedings of the IAPR International Workshop on Document Analysis Systems (DAS)  +
Salient Level Lines Selection Using the Mumford-Shah Functional +
Proceedings of the 20th International Conference on Image Processing (ICIP)  +
Segmentation d'IRM de cerveaux de nouveau-nés en quelques secondes à l'aide d'un réseau de neurones convolutif pseudo-3D et de transfert d'apprentissage +
Actes du 26e Colloque GRETSI  +
Segmentation d'images en couleur par classification morphologique non supervisée +
Proceedings of the International Conference on Image and Signal Processing (ICISP)  +
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 +
Proceedings of the International Conference on Image and Signal Processing (ICISP)  +
Segmentation des hyperintensités de la matière blanche en quelques secondes à l'aide d'un réseau de neurones convolutif et de transfert d'apprentissage +
Actes du congrès Reconnaissance des Formes, ImageApprentissage et Perception (RFIAP), session spéciale “Deep Learning, deep in France”  +
Segmentation of Gliomas and Prediction of Patient Overall Survival: A Simple and Fast Procedure +
Proceedings of the Workshop on Brain Lesions (BrainLes)in conjunction with MICCAI  +
Segmentation of curvilinear objects using a watershed-based curve adjacency graph +
Proceedings of the 1st Iberian Conference on Pattern Recognition and Image Analysis (IbPRIA)  +
Self-Duality and Digital Topology: Links Between the Morphological Tree of Shapes and Well-Composed Gray-Level Images +
Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 12th International Symposium on Mathematical Morphology (ISMM)  +
Self-Loop Aggregation Product — A New Hybrid Approach to On-the-Fly LTL Model Checking +
Proceedings of the 9th International Symposium on Automated Technology for Verification and Analysis (ATVA'11)  +
Semantics driven disambiguation: A comparison of different approaches +
Proceedings of the 8th workshop on Language DescriptionsTools and Applications (LDTA'08)  +
Semantics-Driven Genericity: A Sequel to the Static C++ Object-Oriented Programming Paradigm (SCOOP 2) +
Proceedings of the 6th International Workshop on Multiparadigm Programming with Object-Oriented Languages (MPOOL)  +
Seminator 2 Can Complement Generalized Büchi Automata via Improved Semi-Determinization +
Proceedings of the 32nd International Conference on Computer-Aided Verification (CAV'20)  +
Seminator: A Tool for Semi-Determinization of Omega-Automata +
Proceedings of the 21th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'17)  +
Shape-based hand recognition +
IEEE Transactions on Image Processing  +
Single-pass Testing Automata for LTL Model Checking +
Proceedings of the 9th International Conference on Language and Automata Theory and Applications (LATA'15)  +
SmartDoc 2017 Video Capture: Mobile Document Acquisition in Video Mode +
Proceedings of the 1st International Workshop on Open Services and Tools for Document Analysis (ICDAR-OST)  +
SnooperText: A Multiresolution System for Text Detection in Complex Visual Scenes +
Proceedings of the IEEE International Conference on Image Processing (ICIP)  +
Some Equivalence Relation between Persistent Homology and Morphological Dynamics +
Journal of Mathematical Imaging and Vision  +
Spatial reasoning with relative incomplete information on relative positioning +
IEEE Transactions on Pattern Analysis and Machine Intelligence  +
Speckle Spot Detection in Ultrasound Images: Application to Speckle Reduction and Speckle Tracking +
Proceedings of the IEEE International Ultrasonics Symposium (IUS)  +
Spherical fluorescent particle segmentation and tracking in 3D confocal microscopy +
Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 14th International Symposium on Mathematical Morphology (ISMM)  +
Spot 2.0 — a framework for LTL and ω-automata manipulation +
Proceedings of the 14th International Symposium on Automated Technology for Verification and Analysis (ATVA'16)  +
Stability of the Tree of Shapes to Additive Noise +
Proceedings of the IAPR International Conference on Discrete Geometry and Mathematical Morphology (DGMM)  +
Stacked and parallel U-nets with multi-output for myocardial pathology segmentation +
Myocardial Pathology Segmentation Combining Multi-Sequence CMR Challenge  +
Standardized Assessment of Automatic Segmentation of White Matter Hyperintensities: Results of the WMH Segmentation Challenge +
IEEE Transactions on Medical Imaging  +
Star TeX : the Next Generation +
TUGboat  +
Stochastic routing in large grid-shaped quantum networks +
Proceedings of the Fifth International Conference on Computer Sciences, Research, Innovation and Vision for the Future (RIVF'07)  +
Strength-Based Decomposition of the Property Büchi Automaton for Faster Model Checking +
Proceedings of the 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'13)  +
Strong Euler Wellcomposedness +
Journal of Combinatorial Optimization  +
Support Vector Machines and Joint Factor Analysis for Speaker Verification +
IEEE-ICASSP  +
Support Vector Machines versus Fast Scoring in the Low-Dimensional Total Variability Space for Speaker Verification +
Interspeech  +
Symbolic Model Checking of Stutter Invariant Properties Using Generalized Testing Automata +
Proceedings of the 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'14)  +
T
TWEAST: A Simple and Effective Technique to Implement Concrete-Syntax AST Rewriting Using Partial Parsing +
Proceedings of the 24th Annual ACM Symposium on Applied Computing (SAC'09)  +
Text detection in street level image +
Pattern Analysis and Applications  +
TextCatcher: A method to detect curved and challenging text in natural scenes +
International Journal on Document Analysis and Recognition  +
TextTrail: A Robust Text Tracking Algorithm In Wild Environments +
Proceedings of the 10th International Conference on Computer Vision Theory and Applications (VISAPP)  +
The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results +
Proceedings Sixth Workshop on Synthesis  +
The Biosecure Geometry-based System for Hand Modality +
Proceedings of the 32nd IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP)  +
The Challenge of Cerebral Magnetic Resonance Imaging in Neonates: A New Method using Mathematical Morphology for the Segmentation of Structures Including Diffuse Excessive High Signal Intensities +
Medical Image Analysis  +
The Cost of Dynamism in Static Languages for Image Processing +
Proceedings of the 21st International Conference on Generative Programming: Concepts & Experiences (GPCE 2022)  +
The Dahu Graph-Cut for Interactive Segmentation on 2D/3D Images +
Pattern Recognition  +
The Hanoi Omega-Automata Format +
Proceedings of the 27th International Conference on Computer Aided Verification (CAV'15)  +
The LRDE Systems for the 2008 NIST Speaker Recognition Evaluation +
NIST-SRE 2008  +
The MIT Lincoln Laboratory 2016 Speaker Recognition System +
NIST Speaker Recognition Evaluation 2016  +
The Role of Speaker Factors in the NIST Extended Data Task +
Proceedings of the Speaker and Language Recognition Workshop (IEEE-Odyssey 2008)  +
The SCRIBO Module of the Olena Platform: a Free Software Framework for Document Image Analysis +
Proceedings of the 11th International Conference on Document Analysis and Recognition (ICDAR)  +
The Tree of Shapes Turned into a Max-Tree: A Simple and Efficient Linear Algorithm +
Proceedings of the 24th IEEE International Conference on Image Processing (ICIP)  +
The Tree of Shapes Turned into a Max-Tree: A Simple and Efficient Linear Algorithm +
Proceedings of the 24th IEEE International Conference on Image Processing (ICIP)  +
The incredible tale of the author who didn't want to do the publisher's job +
TUGboat  +
The use of levelable regularization functions for MRF restoration of SAR images +
Proceedings of the 19th Symposium SPIE on Electronic Imaging  +
Three SCC-based Emptiness Checks for Generalized Büchi Automata +
Proceedings of the 19th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'13)  +
TiCL: the Prototype (Star TeX: the Next GenerationSeason 2) +
TUGboat  +
Topological Properties of the First Non-Local Digitally Well-Composed Interpolation on n-D Cubical Grids +
Journal of Mathematical Imaging and Vision  +
Topology-Aware Method to Segment 3D Plan Tissue Images +
36th Conference on Neural Information Processing SystemsAI for Science Workshop  +
Total Variation Minimization with L^1 Data Fidelity as a Contrast Invariant Filter +
Proceedings of the 4th International Symposium on Image and Signal Processing and Analysis (ISPA 2005)  +
Towards Better Heuristics for Solving Bounded Model Checking Problems +
Proceedings of the 27th International Conference on Principles and Practice of Constraint Programmings (CP'21)  +
Towards Better Heuristics for Solving Bounded Model Checking Problems +
Constraints  +
Towards LaTeX Coding Standards +
TUGboat  +
Towards the World-Wide Quantum Network +
Proceedings of the 4th Information Security Practice and Experience Conference (ISPEC'08)  +
Towards the rectification of highly distorted texts +
Proceedings of the 11th International Conference on Computer Vision Theory and Applications (VISAPP)  +
Traitement d'images multivariées avec l'arbre des formes +
Communication at Journée du Groupe de Travail de Géometrie Discrète (GT GeoDis, Reims Image 2014)  +
Tree-Based Morse Regions: A Topological Approach to Local Feature Detection +
IEEE Transactions on Image Processing  +
Trie-based Output Itemset Sampling +
2022 IEEE International Conference on Big Data (Big Data)  +
Tuning SAT Solvers for LTL Model Checking +
Proceedings of the 29th Asia-Pacific Software Engineering Conference (APSEC'22)  +
Two Stages CNN-Based Segmentation of GliomasUncertainty Quantification and Prediction of Overall Patient Survival +
International MICCAI Brainlesion Workshop  +
Two applications of shape-based morphology: blood vessels segmentation and a generalization of constrained connectivity +
Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 11th International Symposium on Mathematical Morphology (ISMM)  +
Type-Checking of Heterogeneous Sequences in Common Lisp +
European Lisp Symposium  +
U
Un algorithme de complexité linéaire pour le calcul de l'arbre des formes +
Actes du congrès Reconnaissance des Formes, ImageApprentissage et Perception (RFIAP)  +
Une approche générique du logiciel pour le traitement d'images préservant les performances +
Proceedings of the 23rd Symposium on Signal and Image Processing (GRETSI)  +
Une approche morphologique de segmentation interactive avec l'arbre des formes couleur +
Actes du 15e Colloque GRETSI  +
Une généralisation du bien-composé à la dimension n +
Communication at Journée du Groupe de Travail de Géometrie Discrète (GT GeoDis, Reims Image 2014)  +
Uniform Random Sampling of Traces in Very Large Models +
Proceedings of the 1st international workshop on Random Testing 2006 (RT06)  +
Unsupervised Methods for Speaker Diarization: An Integrated and Iterative Approach +
IEEE Transactions on Audio, Speech, and Language Processing  +
Unsupervised Speaker Adaptation based on the Cosine Similarity for Text-Independent Speaker Verification +
Odyssey The Speaker and Language Recognition  +
Urbi et Orbi: unusual design and implementation choices for distributed virtual environments +
Proceedings of the 6th International Conference on Virtual Systems and MultiMedia (VSMM)—Intelligent Environments Workshop  +
Using Separated Inputs for Multimodal Brain Tumor Segmentation with 3D U-Net-like Architectures +
Proceedings of the 4th International Workshop, BrainLes 2019, Held in Conjunction with MICCAI 2019  +
Using histogram representation and Earth Mover's Distance as an evaluation tool for text detection +
Proceedings of the 13th IAPR International Conference on Document Analysis and Recognition (ICDAR)  +
Using subgroup discovery to relate odor pleasantness and intensity to peripheral nervous system reactions +
IEEE Transactions on Affective Computing  +
V
Variations on Parallel Explicit Model Checking for Generalized Büchi Automata +
International Journal on Software Tools for Technology Transfer (STTT)  +
Vectorization of Historical Maps Using Deep Edge Filtering and Closed Shape Extraction +
Proceedings of the 16th International Conference on Document Analysis and Recognition (ICDAR'21)  +
VerSe: A Vertebrae Labelling and Segmentation Benchmark for Multi-detector CT Images +
Medical Image Analysis  +
Vers une réutilisabilité totale des algorithmes de traitement d'images +
Proceedings of the 17th Symposium on Signal and Image Processing (GRETSI)  +
Virtual reality and tele-operation: a common framework +
Proceedings of the 5th World Multi-Conference on Systemics, Cybernetics and Informatics (SCI)—Emergent Computing and Virtual Engineering  +
Visualization issues in virtual environments: from computer graphics techniques to intentional visualization +
Proceedings of the 9th International Conference in Central Europe on Computer Graphics, Visualization and Computer Vision (WSCG)  +
VizNN: Visual Data Augmentation with Convolutional Neural Networks for Cybersecurity Investigation +
Upper-Rhine Artificial Intelligence Symposium  +
W
Weakly Well-Composed Cell Complexes over nD Pictures +
Information Sciences  +
Web services at TERAPIX +
Proceedings of the XVII conference on Astronomical Data Analysis Software & Systems (ADASS)  +
Well-Composedness in Alexandrov spaces implies Digital Well-Composedness in Z^n +
Discrete Geometry for Computer Imagery – Proceedings of the 20th IAPR International Conference on Discrete Geometry for Computer Imagery (DGCI)  +
What Does my GNN Really Capture? On Exploring Internal GNN Representations +
International Joint Conference on Artificial Intelligence 2022  +
What is a good evaluation protocol for text localization systems? Concerns, arguments, comparisons and solutions +
Image and Vision Computing  +
White Matter Hyperintensities Segmentation In a Few Seconds Using Fully Convolutional Network and Transfer Learning +
Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries— 3rd International WorkshopBrainLes 2017, Held in Conjunction with MICCAI 2017, Quebec City, QC, Canada, September 14 2017, Revised Selected Papers  +
Why and How to Design a Generic and Efficient Image Processing Framework: The Case of the Milena Library +
Proceedings of the IEEE International Conference on Image Processing (ICIP)  +
Writing Reusable Digital Geometry Algorithms in a Generic Image Processing Framework +
Proceedings of the Workshop on Applications of Digital Geometry and Mathematical Morphology (WADGMM)  +
Writing Reusable Digital Topology Algorithms in a Generic Image Processing Framework +
WADGMM 2010  +
l
libDMC: a library to Operate Efficient Distributed Model Checking +
Workshop on Performance Optimization for High-Level Languages and Libraries — associated to IPDPS'2007  +
p
polyDD: Towards a Framework Generalizing Decision Diagrams +
Proceedings of the 10th International Conference on Application of Concurrency to System Design (ACSD)  +
Retrieved from "https://www.lrde.epita.fr/index.php?title=Property:Published_in&oldid=3092"