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

• Parallel Explicit Model Checking for Generalized Büchi Automata  + (renault.15.tacas)
• Variations on Parallel Explicit Model Checking for Generalized Büchi Automata  + (renault.16.sttt)
• Improving Parallel State-Space Exploration Using Genetic Algorithms  + (renault.18.vecos)
• Improving swarming using genetic algorithms  + (renault.20.isse)
• Go2Pins: A framework for the LTL verification of Go programs (Extended Version)  + (renault.22.sttt)
• Practical “Paritizing” of Emerson–Lei Automata  + (renkin.20.atva)
• Effective Reductions of Mealy Machines  + (renkin.22.forte)
• Web services at TERAPIX  + (ricou.07.adass)
• 10 years of confrontation between French Internet users and their successive governments  + (ricou.07.eceg)
• A Survey of French Local e-Democracy  + (ricou.08.eceg)
• Evaluation of Anomaly Detection for Cybersecurity Using Inductive Node Embedding with Convolutional Graph Neural Networks  + (rida.21.cn)
• Anomaly Detection on Static and Dynamic Graphs using Graph Convolutional Neural Networks  + (rida.22.raccisc)
• Markov Clustering Algorithm for Unsupervised Speaker Recognition System  + (riols.14.seminar)
• L'algorithme de Partitionnement de Markov pour le Système Supervisé de Vérification du Locuteur  + (riols.14.seminar)
• Speaker Diarization based on Independent Component Analysis  + (riols.15.seminar)
• La Segmentation du Locuteur basée sur l'Analyse en Composantes Indépendantes  + (riols.15.seminar)
• Speaker Diarization based on the Mel Frequency Cepstral Coefficients  + (riols.16.seminar)
• La Segmentation du Locuteur Basée sur les Coefficients Cepstraux sur l'échelle de Mel  + (riols.16.seminar)
• Optimization in Common Lisp, and its application to Climb  + (ripault.12.seminar)
• Optimisation en Common Lisp et son application à Climb  + (ripault.12.seminar)
• Context-oriented programming applied to image processing  + (ripault.13.seminar)
• La programmation orientée contexte appliquée au traitement d'images  + (ripault.13.seminar)
• On coercion in Context-Oriented Programming  + (ripault.13.seminar2)
• Coercition et programmation orientée contexte  + (ripault.13.seminar2)
• Motion Compensation in Digital Holography for Retinal Imaging  + (rivet.19.isbi)

• Deep Neural Networks for Aberrations Compensation in Digital Holographic Imaging of the Retina  + (rivet.19.spie)

• Non-iterative methods for image improvement in digital holography of the retina  + (rivet.20.phd)
• TextTrail: A Robust Text Tracking Algorithm In Wild Environments  + (robert-seidowsky.15.visapp)
• C++ type-checking: A study of existing solutions  + (roussel.04.seminar2)
• C++ type-checking: A study of existing solutions  + (roussel.04.seminar2)
• Full Covariance Matrices based Gaussian Mixture Models  + (roux.12.seminar)
• Modèles de mélanges de gaussiennes fondés sur des matrices de covariance pleines  + (roux.12.seminar)
• Nonlinear Projection for Cosine Distance Scoring in I-Vector based Speaker Verification Systems.  + (roux.13.seminar)
• Projection non-linéaire pour l'attribution de score selon la distance en cosinus dans le contexte des systèmes de vérification du locuteur à base d'i-vectors.  + (roux.13.seminar)
• SVM decision taking in I-Vector based Speaker Verification Systems  + (roux.13.seminar2)
• Prise de décision à l'aide de SVM dans le contexte des systèmes de vérification du loctueur à base d'I-Vector  + (roux.13.seminar2)
• Benchmarking Keypoint Filtering Approaches for Document Image Matching  + (royer.17.icdar)
• An Image Processing Library in Modern C++: Getting Simplicity and Efficiency with Generic Programming  + (roynard.18.rrpr)
• A Modern C++ Point of View of Programming in Image Processing  + (roynard.22.gpce)
• Augmented Songbook: an Augmented Reality Educational Application for Raising Music Awareness  + (rusinol.17.mtap)
• A Promela front-end for Spot  + (sadegh.08.seminar)
• Front-end Promela dans Spot  + (sadegh.08.seminar)
• Complementing Büchi Automata  + (sadegh.09.seminar)
• La complémentation d'automates de Büchi  + (sadegh.09.seminar)
• Complementing Büchi Automata With Alternating Automata  + (sadegh.10.seminar)
• La complémentation d'automates de Büchi à travers des automates alternants  + (sadegh.10.seminar)
• Modelling and Identifying Troll Farm Accounts on Twitter  + (sainson.19.seminar)
• Modélisation et Identification des Troll Farmers sur Twitter  + (sainson.19.seminar)
• Detecting Botnets Behaviors over Network Flows using Hidden Markov Models  + (sainson.20.seminar)
• Détection des comportements de botnets au travers d'un flux en réseau en utilisant des modèles de Markov cachés  + (sainson.20.seminar)
• Improving Vaucanson's design  + (sanchez.13.seminar)