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

• Algorithme de calcul de l'arbre des composantes avec applications à la reconnaissance des formes en imagerie satellitaire  + (10:13:18, 26 April 2016)
• A static C++ object-oriented programming (SCOOP) paradigm mixing benefits of traditional OOP and generic programming  + (10:13:36, 26 April 2016)
• JSPP: Morphing C++ into JavaScript  + (10:13:50, 26 April 2016)
• Generic algorithmic blocks dedicated to image processing  + (10:13:56, 26 April 2016)
• Composants logiciels et algorithmes de minimisation exacte d'énergies dédidées au traitement d'images  + (10:14:01, 26 April 2016)
• Attribute Grammars for Modular Disambiguation  + (10:14:10, 26 April 2016)
• LRDE System description  + (10:14:12, 26 April 2016)
• Linear and Non Linear Kernel GMM SuperVector Machines for Speaker Verification  + (10:14:12, 26 April 2016)
• Comparison Between Factor Analysis and GMM Support Vector Machines for Speaker Verification  + (10:14:14, 26 April 2016)
• Support Vector Machines and Joint Factor Analysis for Speaker Verification  + (10:14:15, 26 April 2016)
• Cepstral and Long-Term Features for Emotion Recognition  + (10:14:17, 26 April 2016)
• Modeling of Sensor Networks Using XRM  + (10:14:20, 26 April 2016)
• Probabilistic Verification of Sensor Networks  + (10:14:21, 26 April 2016)
• An XML format proposal for the description of weighted automata, transducers, and regular expressions  + (10:14:22, 26 April 2016)
• NixOS: A purely functional Linux distribution  + (10:14:29, 26 April 2016)
• Combining Explicit and Symbolic Approaches for Better On-the-Fly LTL Model Checking  + (10:14:35, 26 April 2016)
• LTL Translation Improvements in Spot  + (10:14:37, 26 April 2016)
• Semantics-Driven Genericity: A Sequel to the Static C++ Object-Oriented Programming Paradigm (SCOOP 2)  + (10:14:57, 26 April 2016)
• Distribution, approximation and probabilistic model checking  + (10:15:07, 26 April 2016)
• Building Efficient Model checkers using Hierarchical Set Decision Diagrams and automatic Saturation  + (10:15:09, 26 April 2016)
• On the security of quantum networks: a proposal framework and its capacity  + (10:15:18, 26 April 2016)
• Stochastic routing in large grid-shaped quantum networks  + (10:15:19, 26 April 2016)
• Une approche générique du logiciel pour le traitement d'images préservant les performances  + (10:15:26, 26 April 2016)
• Metagene, a C++ meta-program generation tool  + (10:15:32, 26 April 2016)
• Contribution aux tests de vacuité pour le model checking explicite  + (10:15:40, 26 April 2016)
• Web services at TERAPIX  + (10:15:41, 26 April 2016)

• 10 years of confrontation between French Internet users and their successive governments  + (10:15:42, 26 April 2016)
• A Survey of French Local e-Democracy  + (10:15:42, 26 April 2016)

• First Attempt at Boltzmann Machines for Speaker Recognition  + (10:15:44, 26 April 2016)
• Tree-based shape spaces: Definition and applications in image processing and computer vision  + (10:16:10, 26 April 2016)
• File:Seminar-figs-Tamy-Boubekeur.jpeg  + (10:03:46, 29 April 2016)
• File:Seminar-figs-Matthieu-Garrigues.jpeg  + (10:03:46, 29 April 2016)
• File:Seminar-figs-Joel-Falcou.jpeg  + (10:03:47, 29 April 2016)
• File:Seminar-figs-Raphael-Boissel.jpeg  + (10:03:47, 29 April 2016)
• File:Seminar-figs-Christian-Queinnec.jpeg  + (10:03:47, 29 April 2016)
• File:Seminar-figs-map lrde-blue.jpeg  + (10:03:47, 29 April 2016)
• File:Seminar-figs-Markus-Voelter.jpeg  + (10:03:47, 29 April 2016)
• File:Seminar-figs-Pierre-Yves-Strub-2015.jpeg  + (10:03:48, 29 April 2016)
• File:Seminar-figs-map.jpeg  + (10:03:48, 29 April 2016)
• File:Seminar-figs-Didier-Verna.jpeg  + (12:39:05, 29 April 2016)
• People/Akim Demaille  + (08:49:44, 4 May 2016)
• TerraRush  + (09:55:36, 10 May 2016)
• LINX  + (09:56:17, 10 May 2016)
• Wallix  + (12:05:53, 10 May 2016)
• Seminar/2016-05-18  + (13:02:29, 10 May 2016)
• Seminar/2015-10-14  + (13:06:06, 10 May 2016)
• Seminar/2015-05-13  + (13:06:06, 10 May 2016)
• Seminar/2016-01-27  + (13:06:07, 10 May 2016)
• MOBIDEM  + (14:31:10, 10 May 2016)
• NewsEntry (2016/04/22)  + (08:20:23, 11 May 2016)
• Publications/newton.16.els.inc  + (09:32:52, 12 May 2016)
• NewsEntry (2016/05/18)  + (12:07:34, 19 May 2016)