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

• Segmentation d'images en couleur par classification morphologique non supervisée  + (Proceedings of the International Conference on Image and Signal Processing (ICISP))
• Segmentation d'objets curvilignes à l'aide des champs de Markov sur un graphe d'adjacence de courbes issu de l'algorithme de la ligne de partage des eaux  + (Proceedings of the International Conference on Image and Signal Processing (ICISP))
• On a Polynomial Vector Field Model for Shape Representation  + (Proceedings of the International Conference on Image Analysis and Recognition (ICIAR))
• CLOS Efficiency: Instantiation  + (Proceedings of the International Lisp Conference)
• How to make Lisp go faster than C  + (Proceedings of the International MultiConference of Engineers and Computer Scientists)
• CLOS solutions to binary methods  + (Proceedings of the International MultiConference of Engineers and Computer Scientists)
• Recognizing Heterogeneous Sequences by Rational Type Expression  + (Proceedings of the Meta'18: Workshop on Meta-Programming Techniques and Reflection)
• On orthogonal specialization in C++: dealing with efficiency and algebraic abstraction in Vaucanson  + (Proceedings of the Parallel/High-performance Object-Oriented Scientific Computing (POOSC; in conjunction with ECOOP))
• Deep Neural Networks for Aberrations Compensation in Digital Holographic Imaging of the Retina  + (Proceedings of the SPIE Conference on Adaptive Optics and Wavefront Control for Biological Systems V)
• The Role of Speaker Factors in the NIST Extended Data Task  + (Proceedings of the Speaker and Language Recognition Workshop (IEEE-Odyssey 2008))
• Kernel Combination for SVM Speaker Verification  + (Proceedings of the Speaker and Language Recognition Workshop (IEEE-Odyssey 2008))
• 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))