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

• Building Efficient Model checkers using Hierarchical Set Decision Diagrams and automatic Saturation  + (2009)
• Support Vector Machines and Joint Factor Analysis for Speaker Verification  + (2009)
• Support Vector Machines versus Fast Scoring in the Low-Dimensional Total Variability Space for Speaker Verification  + (2009)
• Cepstral and Long-Term Features for Emotion Recognition  + (2009)
• Génération efficace de grands espaces d'états  + (2009)
• Sémantique paramétrable des Diagrammes de Décision : une démarche vers l'unification  + (2009)
• Why and How to Design a Generic and Efficient Image Processing Framework: The Case of the Milena Library  + (2010)
• Classes, Styles, Conflicts: the Biological Realm of LaTeX  + (2010)
• NixOS: A purely functional Linux distribution  + (2010)
• Algorithms for Mathematical Morphology  + (2010)
• Morphologie et algorithmes  + (2010)
• polyDD: Towards a Framework Generalizing Decision Diagrams  + (2010)
• SnooperText: A Multiresolution System for Text Detection in Complex Visual Scenes  + (2010)
• Revisiting the Visitor: the Just Do It Pattern  + (2010)
• LRDE Speaker Recognition System for NIST-SRE 2010  + (2010)
• Cosine Similarity Scoring without Score Normalization Techniques  + (2010)
• Unsupervised Speaker Adaptation based on the Cosine Similarity for Text-Independent Speaker Verification  + (2010)
• CLoX: Common Lisp objects for XEmacs  + (2010)
• Self-Loop Aggregation Product — A New Hybrid Approach to On-the-Fly LTL Model Checking  + (2011)
• LTL Translation Improvements in Spot  + (2011)
• The SCRIBO Module of the Olena Platform: a Free Software Framework for Document Image Analysis  + (2011)
• Une approche générique du logiciel pour le traitement d'images préservant les performances  + (2011)
• Towards LaTeX Coding Standards  + (2011)
• Combining Explicit and Symbolic Approaches for Better On-the-Fly LTL Model Checking  + (2011)
• Building LTL Model Checkers using Transition-based Generalized Büchi Automata  + (2011)
• Towards a Software Architecture for Generic Image Processing  + (2011)
• Generalized Büchi Automata versus Testing Automata for Model Checking  + (2011)
• Language Recognition via I-Vectors and Dimensionality Reduction  + (2011)
• Front-End Factor Analysis For Speaker Verification  + (2011)
• A Channel-Blind System for Speaker Verification  + (2011)
• Biological Realms in Computer Science: the Way You Don't (Want To) Think About Them  + (2011)

• Context-Based Energy Estimator: Application to Object Segmentation on the Tree of Shapes  + (2012)
• Extensible languages: blurring the distinction between DSLs and GPLs  + (2012)
• First Attempt at Boltzmann Machines for Speaker Recognition  + (2012)
• Generic Image Processing with Climb  + (2012)
• JSPP: Morphing C++ into JavaScript  + (2012)
• MITLL 2012 Speaker Recognition Evaluation System Description  + (2012)
• Model Checking using Generalized Testing Automata  + (2012)
• Morphological Filtering in Shape Spaces : Applications using Tree-Based Image Representations  + (2012)
• Motion compensation based on Tangent Distance prediction for video compression  + (2012)
• Outil logiciel pour le traitement d'images: Bibliothèque, paradigmes, types et algorithmes  + (2012)
• Star TeX : the Next Generation  + (2012)
• Writing Reusable Digital Geometry Algorithms in a Generic Image Processing Framework  + (2012)
• Writing Reusable Digital Topology Algorithms in a Generic Image Processing Framework  + (2012)

• Implementation Concepts in Vaucanson 2  + (2013)
• Efficient Multiscale Sauvola's Binarization  + (2013)
• Strength-Based Decomposition of the Property Büchi Automaton for Faster Model Checking  + (2013)
• Manipulating LTL formulas using Spot 1.0  + (2013)
• Text detection in street level image  + (2013)
• LTL Model Checking with Neco  + (2013)
• A Quasi-Linear Algorithm to Compute the Tree of Shapes of n-D Images  + (2013)
• Discrete set-valued continuity and interpolation  + (2013)
• Two applications of shape-based morphology: blood vessels segmentation and a generalization of constrained connectivity  + (2013)
• Salient Level Lines Selection Using the Mumford-Shah Functional  + (2013)
• Unsupervised Methods for Speaker Diarization: An Integrated and Iterative Approach  + (2013)
• Compositional Approach to Suspension and Other Improvements to LTL Translation  + (2013)
• A comparison of many max-tree computation algorithms  + (2013)
• Resources for the DAS 2014 submission  + (2013)
• Tree-based shape spaces: Definition and applications in image processing and computer vision  + (2013)
• Three SCC-based Emptiness Checks for Generalized Büchi Automata  + (2013)
• The incredible tale of the author who didn't want to do the publisher's job  + (2013)
• TiCL: the Prototype (Star TeX: the Next GenerationSeason 2)  + (2013)
• Symbolic Model Checking of Stutter Invariant Properties Using Generalized Testing Automata  + (2014)