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

• Hierarchical image simplification and segmentation based on Mumford-Shah-salient level line selection  + (15:34:17, 11 March 2016)
• NewsEntry (2016/03/23)  + (14:36:42, 15 March 2016)
• Speaker ID  + (16:16:19, 18 March 2016)
• Valentin Iovene  + (19:51:13, 27 March 2016)
• NewsEntry (2016/04/08)2  + (15:59:14, 30 March 2016)
• NewsEntry (2016/04/08)  + (16:06:18, 30 March 2016)
• NewsEntry (2016/04/04)  + (10:30:18, 5 April 2016)
• Papers about Spot  + (12:55:36, 6 April 2016)
• Property:Related project  + (13:08:28, 7 April 2016)
• Etienne Renault  + (13:09:14, 11 April 2016)
• NewsEntry (2016/02/19)  + (10:01:26, 12 April 2016)
• NewsEntry (2016/04/11)  + (10:03:45, 12 April 2016)
• 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)
• A Survey of French Local e-Democracy  + (10:15:42, 26 April 2016)
• 10 years of confrontation between French Internet users and their successive governments  + (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)