Property

Published in

From LRDE

Text

previous 1002050100250500next 100
Showing 100 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  +
Retrieved from "https://www.lrde.epita.fr/index.php?title=Property:Published_in&oldid=3092"