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

• LRDE's Speaker Verification Framework  + (melin.07.seminar)
• LRDE's Speaker Verification Framework  + (melin.07.seminar)
• Parallel Learning Portfolio-Based Solvers  + (menouer.17.iccs)
• Parallel Satisfiability Solver Based on Hybrid Partitioning Method  + (menouer.17.pdp)
• CDCLSym: Introducing Effective Symmetry Breaking in SAT Solving  + (metin.18.tacas)
• Practical Stutter-Invariance Checks for ω-Regular Languages  + (michaud.15.spin)
• Quotient of weighted automata and rational series  + (michaud.16.seminar)
• Quotients d'automates pondérés et de séries rationnelles  + (michaud.16.seminar)
• LTL Synthesis with Spot  + (michaud.17.seminar)
• Synthèse LTL avec Spot  + (michaud.17.seminar)
• Reactive Synthesis from LTL Specification with Spot  + (michaud.18.synt)
• SnooperText: A Multiresolution System for Text Detection in Complex Visual Scenes  + (minetto.10.icip)
• Real Time Face Expression Recognition  + (mom.21.seminar)
• ... Insert a title in French here ...  + (mom.21.seminar)
• Using subgroup discovery to relate odor pleasantness and intensity to peripheral nervous system reactions  + (moranges.22.taffc)
• Metric Learning using a Siamese Deep Neural Network  + (moreau.16.seminar)
• Calcul de distance par un rśeau de neurones profond siamois  + (moreau.16.seminar)
• Handling blackbox transitions in go2pins  + (moreau.21.seminar)
• Gestion des transitions blackbox dans go2pins  + (moreau.21.seminar)
• Implementing rational semiring  + (moreira.11.seminar)
• Implémentation du corps des (nombres) rationnels  + (moreira.11.seminar)
• Towards Vaucanson 2.0  + (moreira.12.seminar)
• Vers Vaucanson 2.0  + (moreira.12.seminar)
• FSMXML for Vaucanson 2.0  + (moreira.13.seminar)
• FSMXML pour Vaucanson 2.0  + (moreira.13.seminar)

• A Challenging Issue: Detection of White Matter Hyperintensities in Neonatal Brain MRI  + (morel.16.embc)

• Conception of a static oriented language: an overview of Scool  + (moulard.06.seminar)
• Conception of a static oriented language: an overview of Scool  + (moulard.06.seminar)
• C++ container library with the SCOOP paradigm  + (moulard.07.seminar)
• C++ container library with the SCOOP paradigm  + (moulard.07.seminar)
• An overview of Scoop, a static object-oriented paradigm  + (moulard.08.seminar)
• Une introduction à Scoop, un paradigme Cxx orienté objet  + (moulard.08.seminar)
• Saliency-Based Detection of Identity Documents Captured by Smartphones  + (movn.18.das)
• Document detection in videos captured by smartphones using a saliency-based method  + (movn.19.icdarw)
• A New Minimum Barrier Distance for Multivariate Images with Applications to Salient Object Detection, Shortest Path Finding, and Segmentation  + (movn.20.cviu)
• Improvement of a text detection chain and the proposition of a new evaluation protocol for text detection algorithms  + (movn.20.phd)
• Introducing the Boundary-Aware Loss for Deep Image Segmentation  + (movn.21.bmvc)
• Topology-Aware Method to Segment 3D Plan Tissue Images  + (movn.22.nips)
• The Dahu Graph-Cut for Interactive Segmentation on 2D/3D Images  + (movn.22.pr)
• Discrete set-valued continuity and interpolation  + (najman.13.ismm)
• A Machine Learning Based Splitting Heuristic for Divide-and-Conquer Solvers  + (nejati.20.cp)
• Learning models for model-checking  + (neri.07.seminar)
• Learning models for model-checking  + (neri.07.seminar)
• Transfinite Chomp  + (neri.08.seminar)
• Transfinite Chomp  + (neri.08.seminar)
• Finding Maximal Common Joins in a DAG  + (newton.16.dag.report)
• Type-Checking of Heterogeneous Sequences in Common Lisp  + (newton.16.els)
• Monads in Common Lisp  + (newton.16.monad.report)
• Efficient Dynamic Type Checking of Heterogeneous Sequences  + (newton.16.rte.report)
• Analysis of Algorithms Calculating the Maximal Disjoint Decomposition of a Set  + (newton.17.dtd.report)
• Programmatic Manipulation of Common Lisp Type Specifiers  + (newton.17.els)