Property

Published in

From LRDE

Text

previous 2502050100250500next 250
Showing 250 pages using this property.
A
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)  +
Retrieved from "https://www.lrde.epita.fr/index.php?title=Property:Published_in&oldid=3092"