Property

News year

From LRDE

Text

previous 1002050100250500next 100
Showing 100 pages using this property.
(
(Dynamic (Programming Paradigms)) ;; Performance and Expressivity +
2020  +
1
10 years of confrontation between French Internet users and their successive governments +
2007  +
A
A 4D Counter-Example Showing that DWCness Does Not Imply CWCness in n-D +
2020  +
A Benchmark of Named Entity Recognition Approaches in Historical Documents +
2022  +
A Challenging Issue: Detection of White Matter Hyperintensities in Neonatal Brain MRI +
2016  +
A Channel-Blind System for Speaker Verification +
2011  +
A Color Tree of Shapes with Illustrations on FilteringSimplification, and Segmentation +
2015  +
A Comparative Review of Component Tree Computation Algorithms +
2014  +
A Corpus Processing and Analysis Pipeline for Quickref +
2021  +
A Fast and Exact Algorithm for Total Variation Minimization +
2005  +
A First Parallel Algorithm to Compute the Morphological Tree of Shapes of nD Images +
2014  +
A Formally-Proved Algorithm to Compute the Correct Average of Decimal Floating-Point Numbers +
2018  +
A Global Benchmark of Algorithms for Segmenting the Left Atrium from Late Gadolinium-Enhanced Cardiac Magnetic Resonance Imaging +
2020  +
A Kleene Theorem for Higher-Dimensional Automata +
2022  +
A Machine Learning Based Splitting Heuristic for Divide-and-Conquer Solvers +
2020  +
A Modern C++ Point of View of Programming in Image Processing +
2022  +
A Morphological Method for Music Score Staff Removal +
2014  +
A Morphological Tree of Shapes for Color Images +
2014  +
A Myhill-Nerode Theorem for Higher-Dimensional Automata +
2023  +
A New Matching Algorithm between Trees of Shapes and its Application to Brain Tumor Segmentation +
2021  +
A New Minimum Barrier Distance for Multivariate Images with Applications to Salient Object Detection, Shortest Path Finding, and Segmentation +
2020  +
A Note on the Discrete Binary Mumford-Shah Model +
2006  +
A Portable, Simple, Embeddable Type System +
2021  +
A Quasi-Linear Algorithm to Compute the Tree of Shapes of n-D Images +
2013  +
A Secure Blockchain-Based Architecture for the COVID-19 Data Network +
2021  +
A Self-Adaptive Likelihood Function for Tracking with Particle Filter +
2015  +
A Set of Tools to Teach Compiler Construction +
2008  +
A Study of Well-Composedness in n-D +
2016  +
A Survey of French Local e-Democracy +
2008  +
A Theoretical and Numerical Analysis of the Worst-Case Size of Reduced Ordered Binary Decision Diagrams +
2018  +
A Tree of Shapes for Multivariate Images +
2015  +
A Tutorial on Well-Composedness +
2017  +
A Two-Stage Temporal-Like Fully Convolutional Network Framework for Left Ventricle Segmentation and Quantification on MR Images +
2020  +
A Type System for Weighted Automata and Rational Expressions +
2014  +
A Vectorial Self-Dual Morphological Filter based on Total Variation Minimization +
2005  +
A blockchain-based certificate revocation management and status verification system +
2021  +
A comparison of many max-tree computation algorithms +
2013  +
A fast and exact algorithm for total variation minimization +
2005  +
A first step toward a fair comparison of evaluation protocols for text detection algorithms +
2018  +
A framework to dynamically manage distributed virtual environments +
2000  +
A note on nice-levelable MRFs for SAR image denoising with contrast preservation +
2006  +
A novel method to fight the non line of sight error in AOA measurements for mobile location +
2004  +
A precise skew estimation algorithm for document images using KNN clustering and Fourier transform +
2014  +
A static C++ object-oriented programming (SCOOP) paradigm mixing benefits of traditional OOP and generic programming +
2003  +
A translational pathway of deep learning methods in Gastro-Intestinal Endoscopy +
2020  +
AGAT: Building and Evaluating Binary Partition Trees for Image Segmentation +
2021  +
APMC 3.0: Approximate verification of Discrete and Continuous Time Markov Chains +
2006  +
Action recognition: how intelligent virtual environments can ease human-machine interaction +
2000  +
Advances in Utilization of Hierarchical Representations in Remote Sensing Data Analysis +
2017  +
Algorithme de calcul de l'arbre des composantes avec applications à la reconnaissance des formes en imagerie satellitaire +
2007  +
Algorithms for Mathematical Morphology +
2010  +
An Efficient Algorithm for Connected Attribute Thinnings and Thickenings +
2006  +
An Equivalence Relation between Morphological Dynamics and Persistent Homology in 1D +
2019  +
An Equivalence Relation between Morphological Dynamics and Persistent Homology in n-D +
2021  +
An Experience Report on the Optimization of the Product Configuration System of Renault +
2023  +
An Image Processing Library in Modern C++: Getting Simplicity and Efficiency with Generic Programming +
2018  +
An Innovative and Decentralized Identity Framework Based on Blockchain Technology +
2021  +
An XML format proposal for the description of weighted automata, transducers, and regular expressions +
2008  +
An asynchronous architecture to manage communicationdisplay, and user interaction in distributed virtual environments +
2000  +
An efficient algorithm for attribute openings and closings +
2005  +
Analysis of Algorithms Calculating the Maximal Disjoint Decomposition of a Set +
2017  +
Anomaly Detection on Static and Dynamic Graphs using Graph Convolutional Neural Networks +
2022  +
Applying generic programming to image processing +
2001  +
Approaches in Typecase Optimization +
2018  +
Approximate Nash Equilibria for Multi-Player Games +
2008  +
Approximate Probabilistic Model Checking for Programs +
2006  +
Atlas-guided recognition of cerebral structures in MRI using fusion of fuzzy structural information +
1999  +
Attribute Grammars for Modular Disambiguation +
2006  +
Augmented Songbook: an Augmented Reality Educational Application for Raising Music Awareness +
2017  +
Automatically Guided Selection of a Set of Underwater Calibration Images +
2022  +
Automation of Binary Analysis: From Open Source Collection to Threat Intelligence +
2021  +
B
Beating C in Scientific Computing Applications +
2006  +
Benchmark on Automatic 6-month-old Infant Brain Segmentation Algorithms: The iSeg-2017 Challenge +
2019  +
Benchmarking Keypoint Filtering Approaches for Document Image Matching +
2017  +
Binary Methods Programming: the CLOS Perspective +
2009  +
Binary Methods Programming: the CLOS Perspective (extended version) +
2008  +
Biological Realms in Computer Science: the Way You Don't (Want To) Think About Them +
2011  +
Blockchain-Based Solution for Detecting and Preventing Fake Check Scams +
2021  +
Braids of Partitions for the Hierarchical Representation and Segmentation of Multimodal Images +
2019  +
Building Efficient Model checkers using Hierarchical Set Decision Diagrams and automatic Saturation +
2009  +
Building LTL Model Checkers using Transition-based Generalized Büchi Automata +
2011  +
C
C-Transformers — A Framework to Write C Program Transformations +
2005  +
C/C++ Disambiguation Using Attribute Grammars +
2005  +
CDCLSym: Introducing Effective Symmetry Breaking in SAT Solving +
2018  +
CLOS Efficiency: Instantiation +
2009  +
CLOS solutions to binary methods +
2007  +
CLoX: Common Lisp objects for XEmacs +
2010  +
Caractérisation des zones de mouvement périodiques pour applications bio-médicales +
2017  +
Catoids and Modal Convolution Algebras +
2023  +
Cepstral and Long-Term Features for Emotion Recognition +
2009  +
Classes, Styles, Conflicts: the Biological Realm of LaTeX +
2010  +
Color image segmentation based on automatic morphological clustering +
2001  +
Combining Deep Learning and Mathematical Morphology for Historical Map Segmentation +
2021  +
Combining Explicit and Symbolic Approaches for Better On-the-Fly LTL Model Checking +
2011  +
Combining Explicit and Symbolic LTL Model Checking Using Generalized Testing Automata +
2015  +
Combining Parallel Emptiness Checks with Partial Order Reductions +
2019  +
Community and LBD-based Clause Sharing Policy for Parallel SAT Solving +
2020  +
Comparing Use-Cases of Tree-Fold vs Fold-Left, How to Fold and Color a Map +
2022  +
Comparison Between Factor Analysis and GMM Support Vector Machines for Speaker Verification +
2007  +
Compiler Construction as an Effective Application to Teach Object-Oriented Programming +
2008  +
Retrieved from "https://www.lrde.epita.fr/index.php?title=Property:News_year&oldid=3097"