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

• Comparison Between Factor Analysis and GMM Support Vector Machines for Speaker Verification  + (Proceedings of the Speaker and Language Recognition Workshop (IEEE-Odyssey 2008))
• Making Compiler Construction Projects Relevant to Core Curriculums  + (Proceedings of the Tenth Annual Conference on Innovation and Technology in Computer Science Education (ITICSE'05))
• A Set of Tools to Teach Compiler Construction  + (Proceedings of the Thirteenth Annual Conference on Innovation and Technology in Computer Science Education (ITICSE'08))
• Derived-term Automata for Extended Weighted Rational Expressions  + (Proceedings of the Thirteenth International Colloquium on Theoretical Aspects of Computing (ICTAC))
• Derived-Term Automata of Weighted Rational Expressions with Quotient Operators  + (Proceedings of the Thirteenth International Colloquium on Theoretical Aspects of Computing (ICTAC))
• Writing Reusable Digital Geometry Algorithms in a Generic Image Processing Framework  + (Proceedings of the Workshop on Applications of Digital Geometry and Mathematical Morphology (WADGMM))
• Segmentation of Gliomas and Prediction of Patient Overall Survival: A Simple and Fast Procedure  + (Proceedings of the Workshop on Brain Lesions (BrainLes)in conjunction with MICCAI)
• Program templates: expression templates applied to program evaluation  + (Proceedings of the Workshop on Declarative Programming in the Context of Object-Oriented Languages (DP-COOL; in conjunction with PLI))
• Metagene, a C++ meta-program generation tool  + (Proceedings of the Workshop on Multiple Paradigm with OO Languages (MPOOL; in conjunction with ECOOP))
• 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))
• 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)
• Towards LaTeX Coding Standards  + (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)
• Quickref: Common Lisp Reference Documentation as a Stress Test for Texinfo  + (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)