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

• Canvas in Olena  + (16:07:57, 9 January 2018)
• Canvas in Olena  + (16:07:58, 9 January 2018)
• Transducer composition in Vaucanson 2  + (16:07:59, 9 January 2018)
• Algorithms on Transducers  + (16:08:00, 9 January 2018)
• Composition de transducteur dans Vaucanson 2  + (16:08:00, 9 January 2018)
• Algorithmes sur les Transducteurs  + (16:08:01, 9 January 2018)
• Composition Efficace de Transducteurs dans Vcsn  + (16:08:02, 9 January 2018)
• Efficient Transducer Composition in Vcsn  + (16:08:02, 9 January 2018)
• Réduction d'ordre partiel dans SPOT  + (16:08:04, 9 January 2018)
• Partial order reduction in SPOT  + (16:08:04, 9 January 2018)
• SCOOL: object orientation of a static language  + (16:08:05, 9 January 2018)
• SCOOL: Concept-Oriented Programming  + (16:08:06, 9 January 2018)
• SCOOL: object orientation of a static language  + (16:08:06, 9 January 2018)
• SCOOL: Programmation générique et concepts  + (16:08:07, 9 January 2018)
• SCOOL: Generic programming  + (16:08:08, 9 January 2018)
• SCOOL: Programmation générique  + (16:08:08, 9 January 2018)
• Semantics driven disambiguation: a comparison of different approaches  + (16:08:09, 9 January 2018)
• Semantics driven disambiguation: a comparison of different approaches  + (16:08:10, 9 January 2018)
• Automatic maintenance of exported symbols in Common Lisp packages  + (16:08:11, 9 January 2018)
• Maintenance automatique des symboles exportés dans les packages de Common Lisp  + (16:08:11, 9 January 2018)
• Color types in Milena  + (16:08:12, 9 January 2018)
• Product of Parity Automata  + (16:08:13, 9 January 2018)
• Les types de couleur dans Milena  + (16:08:13, 9 January 2018)
• Improvements of Simulation-based Reduction  + (16:08:15, 9 January 2018)
• Produit d'automates à parité  + (16:08:15, 9 January 2018)

• Amélioration de la réduction par simulation  + (16:08:16, 9 January 2018)

• I-Vector Multilayer Perceptron in Speaker Recognition System  + (16:08:18, 9 January 2018)
• Approximation de la distance entre i-vecteurs par Perceptron Multi-Couches dans les systèmes de reconnaissance du locuteur  + (16:08:18, 9 January 2018)
• Local channel compensated method in Speaker Recognition System  + (16:08:19, 9 January 2018)
• Compensation locale du canal dans les systèmes de reconnaissance du locuteur  + (16:08:20, 9 January 2018)
• Old Projects  + (15:45:48, 10 January 2018)
• File:CV Boutry 2018.pdf  + (13:33:31, 17 January 2018)
• File:Houang.jpg  + (14:38:00, 18 January 2018)
• File:Entree-lrde.jpg  + (15:51:34, 18 January 2018)
• NewsEntry (2018/01/20)  + (17:26:27, 20 January 2018)
• CSI Seminar 2018-01-24  + (16:22:25, 25 January 2018)
• Deciding Persistence or Recurrence Membership in Spot  + (14:40:52, 31 January 2018)
• NewsEntry (2018/01/24)  + (17:05:26, 1 February 2018)
• File:Collette.jpg  + (11:11:37, 2 February 2018)
• Publications/carlinet.18.icip.inc  + (15:17:32, 2 February 2018)
• Ruminations on Tarjan's Union-Find algorithm and connected operators  + (14:20:59, 5 February 2018)
• Towards the World-Wide Quantum Network  + (14:21:11, 5 February 2018)
• Programmatic Manipulation of Common Lisp Type Specifiers  + (14:21:21, 5 February 2018)
• The Hanoi Omega-Automata Format  + (21:01:27, 5 February 2018)
• MITLL 2012 Speaker Recognition Evaluation System Description  + (21:01:33, 5 February 2018)
• Séminaire Performance et Généricité  + (16:15:50, 13 February 2018)
• Génération efficace de grands espaces d'états  + (17:35:20, 26 February 2018)
• Tester l'appartenance à Persistence ou Récurrence dans Spot  + (10:44:22, 27 February 2018)
• Efficient Translation of Fairness LTL Formulae into Deterministic Automata  + (10:44:55, 27 February 2018)
• Traduction efficace de formules LTL d'équité en automates déterministes  + (10:44:55, 27 February 2018)
• Sémantique paramétrable des Diagrammes de Décision : une démarche vers l'unification  + (10:53:03, 27 February 2018)