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
- Contribution aux tests de vacuité pour le model checking explicite + (renault.14.phd)
- 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)