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
- Advances in Utilization of Hierarchical Representations in Remote Sensing Data Analysis + (incollection)
- Algorithms for Mathematical Morphology + (incollection)
- Extensible languages: blurring the distinction between DSLs and GPLs + (incollection)
- Morphologie et algorithmes + (incollection)
- Parallel Model Checking Algorithms for Linear-Time Temporal Logic + (incollection)
- Practical Application of Probabilistic Model Checking to Communication Protocols + (incollection)
- Implementation Concepts in Vaucanson 2 + (inproceedings)
- On-the-fly Emptiness Check of Transition-based Streett Automata + (inproceedings)
- Self-Loop Aggregation Product — A New Hybrid Approach to On-the-Fly LTL Model Checking + (inproceedings)
- LTL Translation Improvements in Spot + (inproceedings)
- Generic programming redesign of patterns + (inproceedings)
- Applying generic programming to image processing + (inproceedings)
- Fast color image segmentation based on levellings in feature Space + (inproceedings)
- Vers une réutilisabilité totale des algorithmes de traitement d'images + (inproceedings)
- libDMC: a library to Operate Efficient Distributed Model Checking + (inproceedings)
- Hierarchical Set Decision Diagrams and Automatic Saturation + (inproceedings)
- Approximate Nash Equilibria for Multi-Player Games + (inproceedings)
- The SCRIBO Module of the Olena Platform: a Free Software Framework for Document Image Analysis + (inproceedings)
- Towards the World-Wide Quantum Network + (inproceedings)
- Milena: Write Generic Morphological Algorithms Once, Run on Many Kinds of Images + (inproceedings)
- Why and How to Design a Generic and Efficient Image Processing Framework: The Case of the Milena Library + (inproceedings)
- Writing Reusable Digital Geometry Algorithms in a Generic Image Processing Framework + (inproceedings)
- Une approche générique du logiciel pour le traitement d'images préservant les performances + (inproceedings)
- Writing Reusable Digital Topology Algorithms in a Generic Image Processing Framework + (inproceedings)
- Strength-Based Decomposition of the Property Büchi Automaton for Faster Model Checking + (inproceedings)
- Web services at TERAPIX + (inproceedings)
- 10 years of confrontation between French Internet users and their successive governments + (inproceedings)
- A Survey of French Local e-Democracy + (inproceedings)
- Generic Image Processing with Climb + (inproceedings)
- Beating C in Scientific Computing Applications + (inproceedings)
- How to make Lisp go faster than C + (inproceedings)
- CLOS solutions to binary methods + (inproceedings)
- Binary Methods Programming: the CLOS Perspective + (inproceedings)
- CLOS Efficiency: Instantiation + (inproceedings)
- Classes, Styles, Conflicts: the Biological Realm of LaTeX + (inproceedings)
- Towards LaTeX Coding Standards + (inproceedings)
- Context-Based Energy Estimator: Application to Object Segmentation on the Tree of Shapes + (inproceedings)
- Morphological Filtering in Shape Spaces : Applications using Tree-Based Image Representations + (inproceedings)
- Uniform Random Sampling of Traces in Very Large Models + (inproceedings)
- Probabilistic model checking of the CSMA/CD, protocol using PRISM and APMC + (inproceedings)
- Olena: a component-based platform for image processingmixing generic, generative and OO programming + (inproceedings)
- Expression templates in Ada 95 + (inproceedings)
- Generic design patterns in C++ + (inproceedings)
- Manipulating LTL formulas using Spot 1.0 + (inproceedings)
- An asynchronous architecture to manage communicationdisplay, and user interaction in distributed virtual environments + (inproceedings)
- Urbi et Orbi: unusual design and implementation choices for distributed virtual environments + (inproceedings)
- A framework to dynamically manage distributed virtual environments + (inproceedings)
- LTL Model Checking with Neco + (inproceedings)
- Local reasoning in fuzzy attribute graphs for optimizing sequential segmentation + (inproceedings)
- The Biosecure Geometry-based System for Hand Modality + (inproceedings)
- Obtaining genericity for image processing and pattern recognition algorithms + (inproceedings)
- Reconnaissance de structures cérébrales à l'aide d'un atlas et par fusion d'informations structurelles floues + (inproceedings)
- Color image segmentation based on automatic morphological clustering + (inproceedings)
- Segmentation d'images en couleur par classification morphologique non supervisée + (inproceedings)
- Document type recognition using evidence theory + (inproceedings)
- Segmentation of curvilinear objects using a watershed-based curve adjacency graph + (inproceedings)
- 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 + (inproceedings)
- Fast Road Network Extraction in Satellite Images using Mathematical Morphology and MRF + (inproceedings)
- Ruminations on Tarjan's Union-Find algorithm and connected operators + (inproceedings)
- A Quasi-Linear Algorithm to Compute the Tree of Shapes of n-D Images + (inproceedings)
- Atlas-guided recognition of cerebral structures in MRI using fusion of fuzzy structural information + (inproceedings)
- A novel method to fight the non line of sight error in AOA measurements for mobile location + (inproceedings)
- Distribution, approximation and probabilistic model checking + (inproceedings)
- APMC 3.0: Approximate verification of Discrete and Continuous Time Markov Chains + (inproceedings)
- The Role of Speaker Factors in the NIST Extended Data Task + (inproceedings)
- Probabilistic verification and approximation + (inproceedings)
- On the security of quantum networks: a proposal framework and its capacity + (inproceedings)
- An Efficient Algorithm for Connected Attribute Thinnings and Thickenings + (inproceedings)
- polyDD: Towards a Framework Generalizing Decision Diagrams + (inproceedings)
- Introducing Vaucanson + (inproceedings)
- Program templates: expression templates applied to program evaluation + (inproceedings)
- Metagene, a C++ meta-program generation tool + (inproceedings)
- SnooperText: A Multiresolution System for Text Detection in Complex Visual Scenes + (inproceedings)
- Discrete set-valued continuity and interpolation + (inproceedings)
- ENST-IRCGN System Description + (inproceedings)
- On orthogonal specialization in C++: dealing with efficiency and algebraic abstraction in Vaucanson + (inproceedings)
- First Attempt at Boltzmann Machines for Speaker Recognition + (inproceedings)
- Action recognition: how intelligent virtual environments can ease human-machine interaction + (inproceedings)
- Virtual reality and tele-operation: a common framework + (inproceedings)
- Report on the 5th Workshop ELW at ECOOP 2008 + (inproceedings)
- Revisiting the Visitor: the Just Do It Pattern + (inproceedings)
- Star TeX : the Next Generation + (inproceedings)
- Two applications of shape-based morphology: blood vessels segmentation and a generalization of constrained connectivity + (inproceedings)
- Multi-band segmentation using morphological clustering and fusion application to color image segmentation + (inproceedings)
- Person authentication based on hand shape + (inproceedings)
- Salient Level Lines Selection Using the Mumford-Shah Functional + (inproceedings)
- Visualization issues in virtual environments: from computer graphics techniques to intentional visualization + (inproceedings)
- Compositional Approach to Suspension and Other Improvements to LTL Translation + (inproceedings)
- Project EFIGI: Automatic classification of galaxies + (inproceedings)
- Algorithme de calcul de l'arbre des composantes avec applications à la reconnaissance des formes en imagerie satellitaire + (inproceedings)
- Generalized Büchi Automata versus Testing Automata for Model Checking + (inproceedings)
- Effective Component Tree Computation with Application to Pattern Recognition in Astronomical Imaging + (inproceedings)
- MITLL 2012 Speaker Recognition Evaluation System Description + (inproceedings)
- A static C++ object-oriented programming (SCOOP) paradigm mixing benefits of traditional OOP and generic programming + (inproceedings)
- Evaluating complex MAC protocols for sensor networks with APMC + (inproceedings)
- A comparison of many max-tree computation algorithms + (inproceedings)
- On a Polynomial Vector Field Model for Shape Representation + (inproceedings)
- Inside Vaucanson + (inproceedings)
- Error correcting code performance for watermark protection + (inproceedings)
- Generic implementation of morphological image operators + (inproceedings)
- Generic algorithmic blocks dedicated to image processing + (inproceedings)
- Exact optimization of discrete constrained total variation minimization problems + (inproceedings)
- An efficient algorithm for attribute openings and closings + (inproceedings)
- A Fast and Exact Algorithm for Total Variation Minimization + (inproceedings)
- Total Variation Minimization with L^1 Data Fidelity as a Contrast Invariant Filter + (inproceedings)
- A Vectorial Self-Dual Morphological Filter based on Total Variation Minimization + (inproceedings)
- Approximate Probabilistic Model Checking for Programs + (inproceedings)
- Fast and Exact Discrete Image Restoration Based on Total Variation and on Its Extensions to Levelable Potentials + (inproceedings)
- The use of levelable regularization functions for MRF restoration of SAR images + (inproceedings)
- A Note on the Discrete Binary Mumford-Shah Model + (inproceedings)
- Attribute Grammars for Modular Disambiguation + (inproceedings)
- LRDE System description + (inproceedings)
- Linear and Non Linear Kernel GMM SuperVector Machines for Speaker Verification + (inproceedings)
- The LRDE Systems for the 2008 NIST Speaker Recognition Evaluation + (inproceedings)
- Kernel Combination for SVM Speaker Verification + (inproceedings)
- Comparison Between Factor Analysis and GMM Support Vector Machines for Speaker Verification + (inproceedings)
- Support Vector Machines and Joint Factor Analysis for Speaker Verification + (inproceedings)
- Support Vector Machines versus Fast Scoring in the Low-Dimensional Total Variability Space for Speaker Verification + (inproceedings)
- Cepstral and Long-Term Features for Emotion Recognition + (inproceedings)
- LRDE Speaker Recognition System for NIST-SRE 2010 + (inproceedings)
- Cosine Similarity Scoring without Score Normalization Techniques + (inproceedings)
- Unsupervised Speaker Adaptation based on the Cosine Similarity for Text-Independent Speaker Verification + (inproceedings)
- Language Recognition via I-Vectors and Dimensionality Reduction + (inproceedings)
- Making Compiler Construction Projects Relevant to Core Curriculums + (inproceedings)
- Modeling of Sensor Networks Using XRM + (inproceedings)
- Probabilistic Verification of Sensor Networks + (inproceedings)
- An XML format proposal for the description of weighted automata, transducers, and regular expressions + (inproceedings)
- A Set of Tools to Teach Compiler Construction + (inproceedings)
- Semantics driven disambiguation: A comparison of different approaches + (inproceedings)
- Resources for the DAS 2014 submission + (inproceedings)
- Symbolic Model Checking of Stutter Invariant Properties Using Generalized Testing Automata + (inproceedings)
- Getting a morphological Tree of Shapes for Multivariate Images: Paths, Traps and Pitfalls + (inproceedings)
- A First Parallel Algorithm to Compute the Morphological Tree of Shapes of nD Images + (inproceedings)
- A Morphological Method for Music Score Staff Removal + (inproceedings)
- A Morphological Tree of Shapes for Color Images + (inproceedings)
- A Type System for Weighted Automata and Rational Expressions + (inproceedings)
- A precise skew estimation algorithm for document images using KNN clustering and Fourier transform + (inproceedings)
- Meaningful disjoint level lines selection + (inproceedings)
- Is There a Best Büchi Automaton for Explicit Model Checking? + (inproceedings)
- GMM Weights Adaptation Based on Subspace Approaches for Speaker Verification + (inproceedings)
- On Making nD Images Well-Composed by a Self-Dual Local Interpolation + (inproceedings)
- Espaces des formes basés sur des arbres : définition et applications en traitement d'images et vision par ordinateur + (inproceedings)
- Single-pass Testing Automata for LTL Model Checking + (inproceedings)
- A Self-Adaptive Likelihood Function for Tracking with Particle Filter + (inproceedings)
- TextTrail: A Robust Text Tracking Algorithm In Wild Environments + (inproceedings)
- Parallel Explicit Model Checking for Generalized Büchi Automata + (inproceedings)
- How to Make nD Functions Digitally Well-Composed in a Self-Dual Way + (inproceedings)
- A Color Tree of Shapes with Illustrations on FilteringSimplification, and Segmentation + (inproceedings)
- Self-Duality and Digital Topology: Links Between the Morphological Tree of Shapes and Well-Composed Gray-Level Images + (inproceedings)
- Efficient Computation of Attributes and Saliency Maps on Tree-Based Image Representations + (inproceedings)
- Extending Testing Automata to All LTL + (inproceedings)
- Combining Explicit and Symbolic LTL Model Checking Using Generalized Testing Automata + (inproceedings)
- The Hanoi Omega-Automata Format + (inproceedings)
- Mechanizing the Minimization of Deterministic Generalized Büchi Automata + (inproceedings)
- Polar type inference with intersection types and ω + (inproceedings)
- Global Optimization for First Order Markov Random Fields with Submodular Priors + (inproceedings)
- A Channel-Blind System for Speaker Verification + (inproceedings)
- TWEAST: A Simple and Effective Technique to Implement Concrete-Syntax AST Rewriting Using Partial Parsing + (inproceedings)
- Semantics-Driven Genericity: A Sequel to the Static C++ Object-Oriented Programming Paradigm (SCOOP 2) + (inproceedings)
- Stochastic routing in large grid-shaped quantum networks + (inproceedings)
- Practical Genericity: Writing Image Processing Algorithms Both Reusable and Efficient + (inproceedings)
- Three SCC-based Emptiness Checks for Generalized Büchi Automata + (inproceedings)
- Biological Realms in Computer Science: the Way You Don't (Want To) Think About Them + (inproceedings)
- Speckle Spot Detection in Ultrasound Images: Application to Speckle Reduction and Speckle Tracking + (inproceedings)