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

• Polar type inference with intersection types and ω  + (2002)

• A static C++ object-oriented programming (SCOOP) paradigm mixing benefits of traditional OOP and generic programming  + (2003)
• Document type recognition using evidence theory  + (2003)
• Fast Road Network Extraction in Satellite Images using Mathematical Morphology and MRF  + (2003)
• Introducing Vaucanson  + (2003)
• Multi-band segmentation using morphological clustering and fusion application to color image segmentation  + (2003)
• On orthogonal specialization in C++: dealing with efficiency and algebraic abstraction in Vaucanson  + (2003)
• Program templates: expression templates applied to program evaluation  + (2003)
• Representation and fusion of heterogeneous fuzzy information in the 3D space for model-based structural recognition—application to 3D brain imaging  + (2003)
• Segmentation d'objets curvilignes à l'aide des champs de Markov sur un graphe d'adjacence de courbes issu de l'algorithme de la ligne de partage des eaux  + (2003)
• Segmentation of curvilinear objects using a watershed-based curve adjacency graph  + (2003)

• Fast color image segmentation based on levellings in feature Space  + (2004)
• Probabilistic model checking of the CSMA/CD, protocol using PRISM and APMC  + (2004)
• Fast road network extraction in satellite images using mathematical morphology and Markov random fields  + (2004)
• A novel method to fight the non line of sight error in AOA measurements for mobile location  + (2004)
• Unified texture management for arbitrary meshes  + (2004)
• Introducing Vaucanson  + (2004)
• Metagene, a C++ meta-program generation tool  + (2004)
• Proposal: an XML representation for automata  + (2004)
• Person authentication based on hand shape  + (2004)
• Fusion of spatial relationships for guiding recognitionexample of brain structure recognition in 3D MRI  + (2004)
• Generic algorithmic blocks dedicated to image processing  + (2004)
• Exact optimization of discrete constrained total variation minimization problems  + (2004)
• Exact optimization of discrete constrained total variation minimization problems  + (2004)
• Ruminations on Tarjan's Union-Find algorithm and connected operators  + (2005)
• Implementing attributes in SDF  + (2005)
• Distribution, approximation and probabilistic model checking  + (2005)
• Probabilistic abstraction for model checking: an approach based on property testing  + (2005)
• Probabilistic verification and approximation  + (2005)
• Olena Project poster  + (2005)
• Tiger Project poster  + (2005)