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

• File:Xu.15.prl-p5014757 cropped strong simp.png  + (17:47:10, 9 March 2016)
• File:Xu.15.prl-3096 map.png  + (09:16:31, 10 March 2016)
• File:Xu.15.prl-8068 map.png  + (09:17:05, 10 March 2016)
• File:Xu.15.prl-100007 map.png  + (09:18:00, 10 March 2016)
• File:Xu.15.prl-189080 map.png  + (09:18:27, 10 March 2016)
• File:Xu.15.prl-196027 map.png  + (09:18:51, 10 March 2016)
• File:Xu.15.prl-109300481333 map.png  + (09:19:23, 10 March 2016)
• File:Xu.15.prl-112224059330 map.png  + (09:19:52, 10 March 2016)
• File:Xu.15.prl-hotblack 20070901 cows map.png  + (09:20:22, 10 March 2016)
• File:Xu.15.prl-kata beach phuket map.png  + (09:20:47, 10 March 2016)
• File:Xu.15.prl-p5014757 cropped map.png  + (09:21:05, 10 March 2016)
• File:Xu.15.prl-3063 map.png  + (09:33:11, 10 March 2016)
• Publications/xu.15.prl.inc  + (10:38:44, 10 March 2016)
• 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)