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
- 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)
- Heuristics for Checking Liveness Properties with Partial Order Reductions + (duret.16.atva)
- Spot 2.0 — a framework for LTL and ω-automata manipulation + (duret.16.atva2)
- Contributions to LTL and ω-Automata for Model Checking + (duret.17.hdr)
- From Spot 2.0 to Spot 2.10: What's New? + (duret.22.cav)
- Semantics driven disambiguation + (durlin.07.seminar)
- Semantics driven disambiguation + (durlin.07.seminar)
- Semantics driven disambiguation: A comparison of different approaches + (durlin.08.seminar)
- Semantics driven disambiguation: A comparison of different approaches + (durlin.08.seminar)
- Energy Problems in Finite and Timed Automata with Büchi Conditions + (dziadek.23.fm)
- New Security Protocols for Offline Point-of-Sale Machines + (el-madhoun.22.aina)
- A Secure Blockchain-Based Architecture for the COVID-19 Data Network + (el-madhoune.21.csnet)
- High-level Document Structure Analysis in the Olena Scribo Module + (escobar.13.seminar)
- Analyse structurelle haut-niveau de document dans le module Scribo d'Olena + (escobar.13.seminar)
- Debug Packages in OpenBSD + (espie.21.eurocon)
- Estimating the noise level function with the tree of shapes and non-parametric statistics + (esteban.19.caip)
- Estimation du niveau de bruit par arbre des formes et statistiques non paramétriques + (esteban.19.gretsi)
- Estimation of the noise level function in natural images using the tree of shapes + (esteban.19.seminar)
- Estimation de la fonction de niveau de bruit dans des images naturelles en utilisant l'arbre des formes + (esteban.19.seminar)
- Estimation of the Noise Level Function in Multivariate Images using the Tree of Shapes and non-parametric statistics + (esteban.20.seminar)
- Estimation de la fonction de niveau de bruit dans des images multivariées en utilisant l'arbre des formes et des statistiques non-paramétriques + (esteban.20.seminar)
- The Cost of Dynamism in Static Languages for Image Processing + (esteban.22.gpce)
- Estimation de la fonction de niveau de bruit pour des images couleurs en utilisant la morphologie mathématique + (esteban.22.gretsi.1)
- Généricité dynamique pour des algorithmes morphologiques + (esteban.22.gretsi.2)
- Estimation of the noise level function for color images using mathematical morphology and non-parametric statistics + (esteban.22.icpr)
- Learning Sentinel-2 Spectral Dynamics for Long-Run Predictions Using Residual Neural Networks + (estopinan.21.eusipco)
- An asynchronous architecture to manage communicationdisplay, and user interaction in distributed virtual environments + (fabre.00.egve)
- Urbi et Orbi: unusual design and implementation choices for distributed virtual environments + (fabre.00.vsmm)
- A framework to dynamically manage distributed virtual environments + (fabre.00.vw)
- Motion compensation based on Tangent Distance prediction for video compression + (fabrizio.12.spic)
- Text detection in street level image + (fabrizio.13.paa)
- A precise skew estimation algorithm for document images using KNN clustering and Fourier transform + (fabrizio.14.icip)
- TextCatcher: A method to detect curved and challenging text in natural scenes + (fabrizio.16.ijdar)
- Verifying Properties on a Program Using Static Analysis and Model Checking + (fages.20.seminar)
- Verification de proprietes sur un programme en utilisant de l'analyse statique et de la verification de modele + (fages.20.seminar)
- Active Learning on Visibly One Counter Systems + (fages.21.seminar)
- Aprentissage Actif d'Automates Visiblement á un compteur + (fages.21.seminar)
- A Kleene Theorem for Higher-Dimensional Automata + (fahrenberg.22.concur)
- Posets With Interfaces as a Model for Concurrency + (fahrenberg.22.iandc)
- Higher-Dimensional Timed and Hybrid Automata + (fahrenberg.22.lites)
- Featured Games + (fahrenberg.22.scp)
- Catoids and Modal Convolution Algebras + (fahrenberg.23.alguniv)
- A Myhill-Nerode Theorem for Higher-Dimensional Automata + (fahrenberg.23.pn)
- Alternating automata support + (fauchille.16.seminar)
- Le support des automates alternants + (fauchille.16.seminar)
- Progresses towards Vaucanson 1.4 and 2.0 + (fiette.11.seminar)
- Avancées vers Vaucanson 1.4 et 2.0 + (fiette.11.seminar)
- Distance Transform + (folio.08.seminar)
- Distance Transform + (folio.08.seminar)
- Histograms + (folio.09.seminar)
- Histogrammes + (folio.09.seminar)
- Dynamic use of statically typed libraries, textscJust In Time compilation and other solutions + (fosse.04.seminar)
- Dynamic use of statically typed libraries, textscJust In Time compilation and other solutions + (fosse.04.seminar)
- Local reasoning in fuzzy attribute graphs for optimizing sequential segmentation + (fouquier.07.gbr)
- The Biosecure Geometry-based System for Hand Modality + (fouquier.07.icassp)
- LTL Model Checking with Neco + (fronc.13.atva)
- Improving Vaucanson's transducers composition algorithm + (galtier.08.seminar)
- Amélioration de la composition des transducteurs dans Vaucanson + (galtier.08.seminar)
- Remedial treatment for Vaucanson: an enhanced automaton concept + (galtier.09.seminar)
- Traitement curatif pour Vaucanson: un renforcement du concept d'automate + (galtier.09.seminar)
- Adapting the data structures of Vaucanson to the concept of kind and a new interface + (galtier.10.seminar)
- Adapter les structures de données de Vaucanson au concept de kind et à une interface rénovée + (galtier.10.seminar)
- Fictious Play + (garcia-ballester.08.seminar)
- Étude du fictitious play dans le cas d'un jeu à fonctions d'utilité identiques + (garcia-ballester.08.seminar)
- Stage de traitement d'image au LRDE + (garrigues.08.seminar)
- Stage de traitement d'image au LRDE + (garrigues.08.seminar)
- Fast Level Line Transform + (garrigues.08.seminar.fllt)
- Transformation des courbes de niveau rapide + (garrigues.08.seminar.fllt)
- Tarjan Union-Find algorithm and connected operators + (garrigues.09.seminar)
- L'algorithme Union-Find de Tarjan et les filtres connectès + (garrigues.09.seminar)
- Brain MRI segmentation using mathematical morphology + (gasnault.21.seminar)
- Segmentation d'IRM du cerveau avec la morphologie mathematique + (gasnault.21.seminar)
- A co-Büching Toolbox + (gbaguidiaisse.17.seminar)
- Un ensemble d'outils de conversion en automate de co-Büchi + (gbaguidiaisse.17.seminar)
- Tester l'appartenance à Persistence ou Récurrence dans Spot + (gbaguidiaisse.18.seminar)
- Deciding Persistence or Recurrence Membership in Spot + (gbaguidiaisse.18.seminar)
- Generic programming redesign of patterns + (geraud.00.europlop)
- Obtaining genericity for image processing and pattern recognition algorithms + (geraud.00.icpr)
- Reconnaissance de structures cérébrales à l'aide d'un atlas et par fusion d'informations structurelles floues + (geraud.00.rfia)
- Applying generic programming to image processing + (geraud.01.ai)
- Color image segmentation based on automatic morphological clustering + (geraud.01.icip)
- Segmentation d'images en couleur par classification morphologique non supervisée + (geraud.01.icisp)
- Document type recognition using evidence theory + (geraud.03.grec)
- Segmentation of curvilinear objects using a watershed-based curve adjacency graph + (geraud.03.ibpria)
- 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 + (geraud.03.icisp)
- Fast Road Network Extraction in Satellite Images using Mathematical Morphology and MRF + (geraud.03.nsip)
- Fast color image segmentation based on levellings in feature Space + (geraud.04.iccvg)
- Fast road network extraction in satellite images using mathematical morphology and Markov random fields + (geraud.04.jasp)
- Ruminations on Tarjan's Union-Find algorithm and connected operators + (geraud.05.ismm)
- Semantics-Driven Genericity: A Sequel to the Static C++ Object-Oriented Programming Paradigm (SCOOP 2) + (geraud.08.mpool)
- Algorithms for Mathematical Morphology + (geraud.10.book)
- Morphologie et algorithmes + (geraud.10.livre)
- Outil logiciel pour le traitement d'images: Bibliothèque, paradigmes, types et algorithmes + (geraud.12.hdr)
- A Quasi-Linear Algorithm to Compute the Tree of Shapes of n-D Images + (geraud.13.ismm)
- A Morphological Method for Music Score Staff Removal + (geraud.14.icip)
- Self-Duality and Digital Topology: Links Between the Morphological Tree of Shapes and Well-Composed Gray-Level Images + (geraud.15.ismm)
- Introducing the Dahu Pseudo-Distance + (geraud.17.ismm)
- Atlas-guided recognition of cerebral structures in MRI using fusion of fuzzy structural information + (geraud.99.cimaf)
- Vers une réutilisabilité totale des algorithmes de traitement d'images + (geraud.99.gretsi)
- Two-automaton emptiness check in Spot + (gillard.17.seminar)
- Test de vacuité bi-bande dans Spot + (gillard.17.seminar)
- Two-automaton accepting run search in Spot + (gillard.18.seminar)
- Recherche de chemin acceptant bi-bande dans Spot + (gillard.18.seminar)
- Counterexample searches in Spot + (gillard.19.seminar)
- Recherches de contrexemple dans Spot + (gillard.19.seminar)
- Detecting danger in marine environnement + (ginane.19.seminar)
- Détection de danger en milieu marin + (ginane.19.seminar)
- Detecting danger in marine environment: Part 1 - Making the dataset + (ginane.20.seminar)
- Détection de danger en milieu marin, Création du dataset + (ginane.20.seminar)
- Parallel Computation of Component Trees on Distributed Memory Machines + (goetz.18.tpds)
- Binding a high-performance C++ image processing library to Python + (gossec.19.seminar)
- Création d'un lien entre une bibliothèque de traitement d'image en C++ hautes performances vers Python + (gossec.19.seminar)
- Progress in C++ source preprocessing + (gournet.04.seminar)
- Progress in C++ source preprocessing + (gournet.04.seminar)
- Implementing attributes in SDF + (gournet.05.sud)
- Parsing with Transformers + (gournet.06.seminar)
- Parsing with Transformers + (gournet.06.seminar)
- Automation of Binary Analysis: From Open Source Collection to Threat Intelligence + (grelot.21.cesar)
- A novel method to fight the non line of sight error in AOA measurements for mobile location + (grosicki.04.icc)
- IVector space mapping with Deep Neural Network + (groux.15.seminar)
- Mappage d'espace d'ivecteur à l'aide d'un réseau neuronal profond + (groux.15.seminar)
- Distributed State Space Exploration + (guenezan.19.seminar)
- Exploration d'espace d'état distribué + (guenezan.19.seminar)
- Hate Speech and Toxic Comment Detection using Transformers + (guillaume.22.egc)
- Brain MRI Segmentation using fully convolutional network + (guillet.21.seminar)
- Segmentation d'IRM de cerveau en utilisant un reseau de neurones convolutif + (guillet.21.seminar)
- Writing generic image processing algorithms + (guillot.11.seminar)
- Ecriture d'algorithmes de traitement d'images génériques + (guillot.11.seminar)
- Distribution, approximation and probabilistic model checking + (guirado.05.pdmc)
- Building a quantum perceptron + (habib.21.seminar)
- Construire un perceptron quantique + (habib.21.seminar)
- Parallelism and Indexation in Quickref + (hacquard.19.seminar)
- Parallélisation et Indexation de Quickref + (hacquard.19.seminar)
- A Corpus Processing and Analysis Pipeline for Quickref + (hacquard.21.els)
- Property based class hierarchy of Vaucanson's Algebra module + (hamelin.09.seminar)
- Hiérarchie par propriétés du module Algebra de Vaucanson + (hamelin.09.seminar)
- Towards Vaucanson 2.0 + (hamelin.10.seminar)
- Vers Vaucanson 2.0 + (hamelin.10.seminar)
- Vaucanson 2.0 Internals + (hamelin.11.seminar)
- Mécanique de Vaucanson 2.0 + (hamelin.11.seminar)
- libDMC: a library to Operate Efficient Distributed Model Checking + (hamez.07.pohll)
- Hierarchical Set Decision Diagrams and Automatic Saturation + (hamez.08.atpn)
- Building Efficient Model checkers using Hierarchical Set Decision Diagrams and automatic Saturation + (hamez.09.fi)
- Génération efficace de grands espaces d'états + (hamez.09.phd)
- Blockchain-Based Solution for Detecting and Preventing Fake Check Scams + (hammi.21.ieee)
- Approximate Nash Equilibria for Multi-Player Games + (hemon.08.sagt)
- APMC 3.0: Approximate verification of Discrete and Continuous Time Markov Chains + (herault.06.qest)
- Integration of Morphological Operators in Neural Networks + (hermary.21.seminar)
- Inégration des Opérateurs de la Morphologie Mathématique dans des Réseaux de Neurones + (hermary.21.seminar)
- Learning Grayscale Mathematical Morphology with Smooth Morphological Layers + (hermary.22.jmiv)
- Optimization of an image processing library + (hirtz.18.seminar)
- Optimisation d'une bibliothèque de traitement d'images + (hirtz.18.seminar)
- Scool transformation towards C++ + (hocquet.06.seminar)
- Scool transformation towards C++ + (hocquet.06.seminar)
- revCPP A reversible C++ preprocessor + (hocquet.08.seminar)
- revCPP A reversible C++ preprocessor + (hocquet.08.seminar)
- Binary Partition Tree for Image Processing + (houang.17.seminar)
- L'Arbre de partition binaire pour le traitement d'images + (houang.17.seminar)
- Reimplementation of testing-automata in Spot + (huvelle.19.seminar)
- Réimplémentation des automates testeurs dans Spot + (huvelle.19.seminar)
- Morphology-Based Hierarchical Representation with Application to Text Segmentation in Natural Images + (huynh.16.icpr)
- Morphological Hierarchical Image Decomposition Based on Laplacian 0-Crossings + (huynh.17.ismm)
- Taking into account inclusion and adjacency information in morphological hierarchical representations, with application to the extraction of text in natural images and videos. + (huynh.18.phd)
- Connected Filters on Generalized Shape-Spaces + (huynh.19.prl)
- Methods for Explaining Top-N Recommendations Through Subgroup Discovery + (iferroudjene.22.dami)
- I-Vectors distance learning with Convolutional Neural Networks + (iovene.15.seminar)
- Apprentissage d'une distance entre deux i-vectors via des réseaux de neurones à convolution + (iovene.15.seminar)
- Domain Mismatch Compensation for Text-Independant Speaker Recognition + (iovene.16.seminar)
- Domain Mismatch Compensation for Text-Independant Speaker Recognition + (iovene.16.seminar)
- Time Delay Neural Networks-Based Universal Background Model for Speaker Recognition + (iovene.17.seminar)
- Modèle du monde à base de réseaux de neurones à délai temporel pour la reconnaissance du locuteur + (iovene.17.seminar)
- The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results + (jacobs.17.synt)
- Canvas in Morphological Algorithms + (jardonnet.07.seminar)
- Canvas in Morphological Algorithms + (jardonnet.07.seminar)
- Fast Image Registration + (jardonnet.08.seminar)
- Recalage d'images rapide + (jardonnet.08.seminar)
- Image reconstruction + (jardonnet.09.seminar)
- Reconstruction d'image + (jardonnet.09.seminar)
- Improving the Quality of Rule-Based GNN Explanations + (kamal.22.xkdd)
- The Role of Speaker Factors in the NIST Extended Data Task + (kenny.08.odyssey)
- Towards Better Heuristics for Solving Bounded Model Checking Problems + (kheireddine.21.cp)
- Tuning SAT Solvers for LTL Model Checking + (kheireddine.22.apsec)
- Towards Better Heuristics for Solving Bounded Model Checking Problems + (kheireddine.22.constraints)
- Automatic Heart Segmentation + (khoudli.18.seminar)
- Segmentation automatique du coeur + (khoudli.18.seminar)
- Mathematical morphology and deep convolutional neural networks + (khoudli.19.seminar)
- Morphologie mathématique et réseaux convolutionnels profonds + (khoudli.19.seminar)
- PAIP 2019: Liver Cancer Segmentation Challenge + (kim.20.media)
- go2pins: A model checking toolset for the Go programming language + (kirszenberg.18.seminar)
- go2pins: vérification de modèles pour le langage de programmation Go + (kirszenberg.18.seminar)
- Integrating Mathematical Morphology within Deep Convolutional Neural Networks + (kirszenberg.19.seminar)
- Intégration de la Morphologie Mathématique dans les Réseaux Neuronaux Profonds + (kirszenberg.19.seminar)
- Learning Morphological Operations + (kirszenberg.20.seminar)
- Apprentissage d'Opérations Morphologiques + (kirszenberg.20.seminar)
- Going beyond p-convolutions to learn grayscale morphological operators + (kirszenberg.21.dgmm)
- Go2Pins: A Framework for the LTL Verification of Go Programs + (kirszenberg.21.spin)
- Standardized Assessment of Automatic Segmentation of White Matter Hyperintensities: Results of the WMH Segmentation Challenge + (kuijf.19.tmi)
- Probabilistic abstraction for model checking: an approach based on property testing + (laplante.07.tocl)
- Probabilistic verification and approximation + (lassaigne.05.wollic)
- Boosting Vaucanson + (lazzara.07.seminar)
- Boosting Vaucanson + (lazzara.07.seminar)
- Boosting Vaucanson's genericity + (lazzara.08.seminar)
- Booster la généricité de Vaucanson + (lazzara.08.seminar)
- The SCRIBO Module of the Olena Platform: a Free Software Framework for Document Image Analysis + (lazzara.11.icdar)
- Efficient Multiscale Sauvola's Binarization + (lazzara.13.ijdar)
- Resources for the DAS 2014 submission + (lazzara.14.das)