Search by property

This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.

List of results

• A Kleene Theorem for Higher-Dimensional Automata  + (33rd International Conference on Concurrency Theory (CONCUR 2022))

• Topology-Aware Method to Segment 3D Plan Tissue Images  + (36th Conference on Neural Information Processing SystemsAI for Science Workshop)
• New Security Protocols for Offline Point-of-Sale Machines  + (36th International Conference on Advanced Information Networking and Applications (AINA))
• On Robustness for the Skolem and Positivity Problems  + (39th International Symposium on Theoretical Aspects of Computer Science STACS)
• C-Transformers — A Framework to Write C Program Transformations  + (ACM Crossroads)
• Probabilistic abstraction for model checking: an approach based on property testing  + (ACM Transactions on Computational Logic)
• A Theoretical and Numerical Analysis of the Worst-Case Size of Reduced Ordered Binary Decision Diagrams  + (ACM Transactions on Computational Logic)
• La pseudo-distance du dahu  + (Actes d'ORASIS)
• 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))
• Une approche morphologique de segmentation interactive avec l'arbre des formes couleur  + (Actes du 15e Colloque GRETSI)
• 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))
• 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)
• Caractérisation des zones de mouvement périodiques pour applications bio-médicales  + (Actes du 26e Colloque GRETSI)
• 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))
• 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”)
• Forecasting Electricity Prices: An Optimize Then Predict-Based Approach  + (Advances in Intelligent Data Analysis XXI)
• Catoids and Modal Convolution Algebras  + (Algebra Universalis)
• A Myhill-Nerode Theorem for Higher-Dimensional Automata  + (Application and Theory of Petri Nets and Concurrency (PETRI NETS))
• Electricity Price Forecasting on the Day-Ahead Market using Machine Learning  + (Applied Energy)
• Representation and fusion of heterogeneous fuzzy information in the 3D space for model-based structural recognition—application to 3D brain imaging  + (Artificial Intelligence)
• 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)
• Project EFIGI: Automatic classification of galaxies  + (Astronomical Data Analysis Software and Systems XV)
• 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)
• 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)
• Euler Well-Composedness  + (Combinatorial Image Analysis: Proceedings of the 20th International Workshop, IWCIA 2020, Novi Sad, Serbia, July 16–18, 2020)
• 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))
• 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))
• 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)
• Evaluation of Anomaly Detection for Cybersecurity Using Inductive Node Embedding with Convolutional Graph Neural Networks  + (Complex Network 2021)
• Advances in Utilization of Hierarchical Representations in Remote Sensing Data Analysis  + (Comprehensive Remote Sensing, 1st Edition)
• 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)
• 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 blockchain-based certificate revocation management and status verification system  + (Computers & Security)
• High Throughput Automated Detection of Axial Malformations in Medaka Embryo  + (Computers in Biology and Medicine)
• Towards Better Heuristics for Solving Bounded Model Checking Problems  + (Constraints)