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

• Language Recognition via I-Vectors and Dimensionality Reduction  + (16:56:25, 4 January 2018)
• Front-End Factor Analysis For Speaker Verification  + (16:56:26, 4 January 2018)
• Making Compiler Construction Projects Relevant to Core Curriculums  + (16:56:28, 4 January 2018)
• A Set of Tools to Teach Compiler Construction  + (16:56:30, 4 January 2018)
• TWEAST: A Simple and Effective Technique to Implement Concrete-Syntax AST Rewriting Using Partial Parsing  + (16:56:31, 4 January 2018)
• Uniform Random Sampling of Traces in Very Large Models  + (16:56:35, 4 January 2018)
• Probabilistic model checking of the CSMA/CD, protocol using PRISM and APMC  + (16:56:37, 4 January 2018)
• Generic design patterns in C++  + (16:56:40, 4 January 2018)
• An asynchronous architecture to manage communicationdisplay, and user interaction in distributed virtual environments  + (16:56:49, 4 January 2018)
• Motion compensation based on Tangent Distance prediction for video compression  + (16:56:51, 4 January 2018)
• A framework to dynamically manage distributed virtual environments  + (16:56:51, 4 January 2018)
• Text detection in street level image  + (16:56:52, 4 January 2018)
• Local reasoning in fuzzy attribute graphs for optimizing sequential segmentation  + (16:56:55, 4 January 2018)
• The Biosecure Geometry-based System for Hand Modality  + (16:56:56, 4 January 2018)
• Generic programming redesign of patterns  + (16:56:58, 4 January 2018)
• Reconnaissance de structures cérébrales à l'aide d'un atlas et par fusion d'informations structurelles floues  + (16:57:00, 4 January 2018)
• Color image segmentation based on automatic morphological clustering  + (16:57:01, 4 January 2018)
• Segmentation d'images en couleur par classification morphologique non supervisée  + (16:57:02, 4 January 2018)
• Document type recognition using evidence theory  + (16:57:03, 4 January 2018)
• Segmentation of curvilinear objects using a watershed-based curve adjacency graph  + (16:57:04, 4 January 2018)
• 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  + (16:57:04, 4 January 2018)
• Fast road network extraction in satellite images using mathematical morphology and Markov random fields  + (16:57:06, 4 January 2018)
• Vers une réutilisabilité totale des algorithmes de traitement d'images  + (16:57:14, 4 January 2018)
• Atlas-guided recognition of cerebral structures in MRI using fusion of fuzzy structural information  + (16:57:14, 4 January 2018)
• A novel method to fight the non line of sight error in AOA measurements for mobile location  + (16:57:16, 4 January 2018)

• APMC 3.0: Approximate verification of Discrete and Continuous Time Markov Chains  + (16:57:18, 4 January 2018)

• Probabilistic verification and approximation  + (16:57:21, 4 January 2018)
• The SCRIBO Module of the Olena Platform: a Free Software Framework for Document Image Analysis  + (16:57:22, 4 January 2018)
• Efficient Multiscale Sauvola's Binarization  + (16:57:23, 4 January 2018)
• An Efficient Algorithm for Connected Attribute Thinnings and Thickenings  + (16:57:27, 4 January 2018)
• Why and How to Design a Generic and Efficient Image Processing Framework: The Case of the Milena Library  + (16:57:29, 4 January 2018)
• Writing Reusable Digital Geometry Algorithms in a Generic Image Processing Framework  + (16:57:30, 4 January 2018)
• Writing Reusable Digital Topology Algorithms in a Generic Image Processing Framework  + (16:57:31, 4 January 2018)
• polyDD: Towards a Framework Generalizing Decision Diagrams  + (16:57:34, 4 January 2018)
• Introducing Vaucanson  + (16:57:35, 4 January 2018)
• Introducing Vaucanson  + (16:57:36, 4 January 2018)
• Program templates: expression templates applied to program evaluation  + (16:57:37, 4 January 2018)
• Practical Stutter-Invariance Checks for ω-Regular Languages  + (16:57:38, 4 January 2018)
• On orthogonal specialization in C++: dealing with efficiency and algebraic abstraction in Vaucanson  + (16:57:44, 4 January 2018)
• Unsupervised Methods for Speaker Diarization: An Integrated and Iterative Approach  + (16:57:51, 4 January 2018)
• Report on the 5th Workshop ELW at ECOOP 2008  + (16:57:57, 4 January 2018)
• Context-Based Energy Estimator: Application to Object Segmentation on the Tree of Shapes  + (16:58:04, 4 January 2018)
• Morphological Filtering in Shape Spaces : Applications using Tree-Based Image Representations  + (16:58:05, 4 January 2018)
• Salient Level Lines Selection Using the Mumford-Shah Functional  + (16:58:06, 4 January 2018)
• Multi-band segmentation using morphological clustering and fusion application to color image segmentation  + (16:58:15, 4 January 2018)
• Shape-based hand recognition  + (16:58:16, 4 January 2018)
• A comparison of many max-tree computation algorithms  + (14:20:26, 5 January 2018)
• Error correcting code performance for watermark protection  + (14:20:35, 5 January 2018)
• Generic implementation of morphological image operators  + (14:20:36, 5 January 2018)
• Approximate Probabilistic Model Checking for Programs  + (14:20:44, 5 January 2018)
• Semantics driven disambiguation: A comparison of different approaches  + (14:20:56, 5 January 2018)