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
- A Fast and Exact Algorithm for Total Variation Minimization + (darbon.05.ibpria)
- Total Variation Minimization with L^1 Data Fidelity as a Contrast Invariant Filter + (darbon.05.ispa)
- A Vectorial Self-Dual Morphological Filter based on Total Variation Minimization + (darbon.05.isvc)
- Composants logiciels et algorithmes de minimisation exacte d'énergies dédidées au traitement d'images + (darbon.05.phd)
- A fast and exact algorithm for total variation minimization + (darbon.05.tr)
- Approximate Probabilistic Model Checking for Programs + (darbon.06.iccp)
- Image restoration with discrete constrained Total Variation—Part I: Fast and exact optimization + (darbon.06.jmiv)
- Image restoration with discrete constrained Total Variation—Part II: Levelable functions, convex priors and non-convex case + (darbon.06.jmivb)
- Fast and Exact Discrete Image Restoration Based on Total Variation and on Its Extensions to Levelable Potentials + (darbon.06.siam)
- A note on nice-levelable MRFs for SAR image denoising with contrast preservation + (darbon.06.tr)
- The use of levelable regularization functions for MRF restoration of SAR images + (darbon.07.ei)
- A Note on the Discrete Binary Mumford-Shah Model + (darbon.07.mirage)
- Global Optimization for First Order Markov Random Fields with Submodular Priors + (darbon.08.iwcia)
- Bottleneck neural networks for Speaker Recognition + (daval-frerot.16.seminar)
- Reseaux de neurones en goulot pour la Reconnaissance du Locuteur + (daval-frerot.16.seminar)
- Attribute grammars for C++ disambiguation + (david.04.seminar)
- Attribute grammars for C++ disambiguation + (david.04.seminar)
- C/C++ Disambiguation Using Attribute Grammars + (david.05.sud)
- Attribute Grammars for Modular Disambiguation + (david.06.iccp)
- Spatial reasoning with relative incomplete information on relative positioning + (dehak.05.pami)
- LRDE System description + (dehak.06.nist)
- Linear and Non Linear Kernel GMM SuperVector Machines for Speaker Verification + (dehak.07.interspeech)
- The LRDE Systems for the 2008 NIST Speaker Recognition Evaluation + (dehak.08.nist)
- Kernel Combination for SVM Speaker Verification + (dehak.08.odysseya)
- Comparison Between Factor Analysis and GMM Support Vector Machines for Speaker Verification + (dehak.08.odysseyb)
- Support Vector Machines and Joint Factor Analysis for Speaker Verification + (dehak.09.icassp)
- Support Vector Machines versus Fast Scoring in the Low-Dimensional Total Variability Space for Speaker Verification + (dehak.09.interspeech)
- Cepstral and Long-Term Features for Emotion Recognition + (dehak.09.interspeechb)
- LRDE Speaker Recognition System for NIST-SRE 2010 + (dehak.10.nist)
- Cosine Similarity Scoring without Score Normalization Techniques + (dehak.10.odyssey)
- Unsupervised Speaker Adaptation based on the Cosine Similarity for Text-Independent Speaker Verification + (dehak.10.odyssey2)
- A Channel-Blind System for Speaker Verification + (dehak.11.icassp)
- Language Recognition via I-Vectors and Dimensionality Reduction + (dehak.11.interspeech)
- Front-End Factor Analysis For Speaker Verification + (dehak.11.taslp)
- GMM Weights Adaptation Based on Subspace Approaches for Speaker Verification + (dehak.14.odyssey)
- The MIT Lincoln Laboratory 2016 Speaker Recognition System + (dehak.16.nistsre)
- Factor analysis based channel compensation in speaker verification + (deledalle.07.seminar)
- Factor analysis based channel compensation in speaker verification + (deledalle.07.seminar)
- SVM Kernel Combining System for Speaker Verification + (deledalle.08.seminar)
- SVM Kernel Combining System for Speaker Verification + (deledalle.08.seminar)
- Generic epsilon-removal + (delmon.07.seminar)
- Generic epsilon-removal + (delmon.07.seminar)
- Rational Expression Parser + (delmon.08.seminar)
- Parser d'expressions rationnelles + (delmon.08.seminar)
- Automata Reduction + (delmon.08.seminar.reduce)
- Reduction d'automates + (delmon.08.seminar.reduce)
- Making Compiler Construction Projects Relevant to Core Curriculums + (demaille.05.iticse)
- Modeling of Sensor Networks Using XRM + (demaille.06.isola)
- Probabilistic Verification of Sensor Networks + (demaille.06.rivf)
- An XML format proposal for the description of weighted automata, transducers, and regular expressions + (demaille.08.fsmnlp)
- A Set of Tools to Teach Compiler Construction + (demaille.08.iticse)
- Compiler Construction as an Effective Application to Teach Object-Oriented Programming + (demaille.08.kex)
- Semantics driven disambiguation: A comparison of different approaches + (demaille.08.ldta)
- TWEAST: A Simple and Effective Technique to Implement Concrete-Syntax AST Rewriting Using Partial Parsing + (demaille.09.sac)
- Implementation Concepts in Vaucanson 2 + (demaille.13.ciaa)
- A Type System for Weighted Automata and Rational Expressions + (demaille.14.ciaa)
- Derived-Term Automata of Multitape Rational Expressions + (demaille.16.ciaa)
- Derived-term Automata for Extended Weighted Rational Expressions + (demaille.16.ictac)
- Derived-Term Automata of Weighted Rational Expressions with Quotient Operators + (demaille.17.ictac)
- Derived-Term Automata of Multitape Expressions with Composition + (demaille.17.sacs)
- Uniform Random Sampling of Traces in Very Large Models + (denise.06.rt)
- CLIMB: A Dynamic Approach To Generic Image Processing + (denuziere.09.seminar)
- CLIMB: Une approche dynamique du traitement générique d'images + (denuziere.09.seminar)
- Property-Based Genericity: A Dynamic Approach + (denuziere.10.seminar)
- La généricité par propriétés + (denuziere.10.seminar)
- Designing the user interface for a Common Lisp generic library + (denuziere.11.seminar)
- Concevoir l'interface d'une bibliothèque générique en Common Lisp + (denuziere.11.seminar)
- C++ Transformations panorama + (despres.04.seminar)
- C++ Transformations panorama + (despres.04.seminar)
- Regression benchmarking + (despres.05.seminar)
- Regression benchmarking + (despres.05.seminar)
- Supervised Discrimination of Characters on Images + (deutsch.16.seminar)
- Discrimination supervisé de caractères sur des images + (deutsch.16.seminar)
- Trie-based Output Itemset Sampling + (diop.22.ieeebigdata)
- NixOS: A purely functional Linux distribution + (dolstra.10.jfp)
- Adaptation of the watershed cuts algorithm to cellular complexes + (dore.15.seminar)
- Adaptation de l'algorithme de watershed cuts aux complexes cellulaires + (dore.15.seminar)
- Extraction of Ancient Map Contents Using Trees of Connected Components + (drapeau.17.grec)
- Greibach normal form for ω-algebraic systems and weighted simple ω-pushdown automata + (droste.22.iandc)
- Estimating the Number of Endmembers to Use in Spectral Unmixing of Hyperspectral Data with Collaborative Sparsity + (drumetz.17.lva-ica)
- Learning Endmember Dynamics in Multitemporal Hyperspectral Data using a State-Space Model Formulation + (drumetz.20.icassp)
- Fast simulation based reduction for ω-automaton + (dubois.21.seminar)
- Réduction basée sur des simulations d'ω-automates + (dubois.21.seminar)
- Fast reductions for ω-automaton + (dubois.22.seminar)
- Réduction efficace d'ω-automate + (dubois.22.seminar)
- A Self-Adaptive Likelihood Function for Tracking with Particle Filter + (dubuisson.15.visapp)
- Probabilistic model checking of the CSMA/CD, protocol using PRISM and APMC + (duflot.04.avocs)
- Practical Application of Probabilistic Model Checking to Communication Protocols + (duflot.06.book)
- Stage de traitement d'image au LRDE + (duhamel.08.seminar)
- Stage de traitement d'image au LRDE + (duhamel.08.seminar)
- Discovering and Visualizing Tactics in Table Tennis Games Based on Subgroup Discovery + (duluard.22.mlsa)
- Olena: a component-based platform for image processingmixing generic, generative and OO programming + (duret.00.gcse)
- Expression templates in Ada 95 + (duret.01.ae)
- Generic design patterns in C++ + (duret.01.coots)
- On-the-fly Emptiness Check of Transition-based Streett Automata + (duret.09.atva)
- Combining Explicit and Symbolic Approaches for Better On-the-Fly LTL Model Checking + (duret.11.arxiv)
- Self-Loop Aggregation Product — A New Hybrid Approach to On-the-Fly LTL Model Checking + (duret.11.atva)
- Building LTL Model Checkers using Transition-based Generalized Büchi Automata + (duret.11.sumo)
- LTL Translation Improvements in Spot + (duret.11.vecos)
- Manipulating LTL formulas using Spot 1.0 + (duret.13.atva)
- LTL Translation Improvements in Spot 1.0 + (duret.14.ijccbs)