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

• 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)
• Web services at TERAPIX  + (Proceedings of the XVII conference on Astronomical Data Analysis Software & Systems (ADASS))
• A Note on the Discrete Binary Mumford-Shah Model  + (Proceedings of the international Computer Vision / Computer Graphics Collaboration Techniques and Applications (MIRAGE 2007))
• 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))
• An Efficient Algorithm for Connected Attribute Thinnings and Thickenings  + (Proceedings of the second International Conference on Visual Computing)
• Global Optimization for First Order Markov Random Fields with Submodular Priors  + (Proceedings of the twelfth International Workshop on Combinatorial Image Analysis (IWCIA'08))
• 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))
• 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)
• Anomaly Detection on Static and Dynamic Graphs using Graph Convolutional Neural Networks  + (Robotics and AI for Cybersecurity and Critical Infrastructure in Smart Cities)
• Optimization of the Product Configuration System of Renault  + (SAC '23: The 38th ACM/SIGAPP Symposium on Applied Computing)
• Fast and Exact Discrete Image Restoration Based on Total Variation and on Its Extensions to Levelable Potentials  + (SIAM Conference on Imaging Sciences)
• Featured Games  + (Science of Computer Programming)
• Derived-Term Automata of Multitape Expressions with Composition  + (Scientific Annals of Computer Science)
• Motion compensation based on Tangent Distance prediction for video compression  + (Signal Processing: Image Communication)
• AGAT: Building and Evaluating Binary Partition Trees for Image Segmentation  + (SoftwareX)
• A Two-Stage Temporal-Like Fully Convolutional Network Framework for Left Ventricle Segmentation and Quantification on MR Images  + (Statistical Atlases and Computational Mode … 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 October 13, 2019, Revised Selected Papers)
• Hierarchical image simplification and segmentation based on Mumford-Shah-salient level line selection  + (Submitted)
• Diversifying a Parallel SAT Solver with Bayesian Moment Matching  + (Symposium on Dependable Software Engineering TheoriesTools and Applications)
• Comparing Use-Cases of Tree-Fold vs Fold-Left, How to Fold and Color a Map  + (Symposium on Implementation and Application of Functional Languages)

• Classes, Styles, Conflicts: the Biological Realm of LaTeX  + (TUGboat)
• Quickref: Common Lisp Reference Documentation as a Stress Test for Texinfo  + (TUGboat)
• Star TeX : the Next Generation  + (TUGboat)
• The incredible tale of the author who didn't want to do the publisher's job  + (TUGboat)
• TiCL: the Prototype (Star TeX: the Next GenerationSeason 2)  + (TUGboat)
• Towards LaTeX Coding Standards  + (TUGboat)

• Lisp, Jazz, Aikido  + (The Art, Science and Engineering of Programming Journal)
• 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)
• Introducing Vaucanson  + (Theoretical Computer Science)
• Beating C in Scientific Computing Applications  + (Third European Lisp Workshop at ECOOP)
• Model Checking using Generalized Testing Automata  + (Transactions on Petri Nets and Other Models of Concurrency (ToPNoC VI))
• Performance Comparison of Several Folding Strategies  + (Trends in Functional Programming)
• VizNN: Visual Data Augmentation with Convolutional Neural Networks for Cybersecurity Investigation  + (Upper-Rhine Artificial Intelligence Symposium)
• 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))
• Writing Reusable Digital Topology Algorithms in a Generic Image Processing Framework  + (WADGMM 2010)
• Hate Speech and Toxic Comment Detection using Transformers  + (Workshop EGC 2022 DL for NLP)
• libDMC: a library to Operate Efficient Distributed Model Checking  + (Workshop on Performance Optimization for High-Level Languages and Libraries — associated to IPDPS'2007)
• 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)
• A translational pathway of deep learning methods in Gastro-Intestinal Endoscopy  + (arXiv:2010.06034)