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

• Generic implementation of morphological image operators  + (2002)
• Polar type inference with intersection types and ω  + (2002)
• Document type recognition using evidence theory  + (2003)
• Segmentation of curvilinear objects using a watershed-based curve adjacency graph  + (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)
• Fast Road Network Extraction in Satellite Images using Mathematical Morphology and MRF  + (2003)
• Introducing Vaucanson  + (2003)
• Program templates: expression templates applied to program evaluation  + (2003)
• On orthogonal specialization in C++: dealing with efficiency and algebraic abstraction in Vaucanson  + (2003)
• Multi-band segmentation using morphological clustering and fusion application to color image segmentation  + (2003)
• Representation and fusion of heterogeneous fuzzy information in the 3D space for model-based structural recognition—application to 3D brain imaging  + (2003)
• A static C++ object-oriented programming (SCOOP) paradigm mixing benefits of traditional OOP and generic programming  + (2003)

• A novel method to fight the non line of sight error in AOA measurements for mobile location  + (2004)
• Exact optimization of discrete constrained total variation minimization problems  + (2004)
• Exact optimization of discrete constrained total variation minimization problems  + (2004)
• Fast color image segmentation based on levellings in feature Space  + (2004)
• Fast road network extraction in satellite images using mathematical morphology and Markov random fields  + (2004)
• Fusion of spatial relationships for guiding recognitionexample of brain structure recognition in 3D MRI  + (2004)
• Generic algorithmic blocks dedicated to image processing  + (2004)
• Introducing Vaucanson  + (2004)
• Metagene, a C++ meta-program generation tool  + (2004)
• Person authentication based on hand shape  + (2004)
• Probabilistic model checking of the CSMA/CD, protocol using PRISM and APMC  + (2004)
• Proposal: an XML representation for automata  + (2004)
• Unified texture management for arbitrary meshes  + (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)
• ESDF: A proposal for a more flexible SDF handling  + (2005)
• C-Transformers — A Framework to Write C Program Transformations  + (2005)
• Inside Vaucanson  + (2005)
• An efficient algorithm for attribute openings and closings  + (2005)
• A Fast and Exact Algorithm for Total Variation Minimization  + (2005)
• Total Variation Minimization with L^1 Data Fidelity as a Contrast Invariant Filter  + (2005)
• A Vectorial Self-Dual Morphological Filter based on Total Variation Minimization  + (2005)
• Composants logiciels et algorithmes de minimisation exacte d'énergies dédidées au traitement d'images  + (2005)
• A fast and exact algorithm for total variation minimization  + (2005)
• C/C++ Disambiguation Using Attribute Grammars  + (2005)
• Spatial reasoning with relative incomplete information on relative positioning  + (2005)
• Making Compiler Construction Projects Relevant to Core Curriculums  + (2005)