Global ETD Search

Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.

Results

Showing 1 to 8 of 8 for “"Symmetry Detection"”.

  1. Automatic techniques for detecting and exploiting symmetry in model checking

    … Current techniques can handle limited kinds of symmetry, e.g. full symmetry between identical components in a concurrent system. They avoid the problem of automatic symmetry detection by requiring the user to specify the presence of symmetry in a model (explicitly, or by annotating the …

    glasgow Repository record for Automatic techniques for detecting and exploiting symmetry in model checking (opens in a new tab)

  2. A constraint solver for software engineering : finding models and cores of large relational specifications

    … matrices and auto-compacting circuits; a new symmetry detection technique that works in the presence of partial solutions; and a new core extraction algorithm that recycles inferences made at the boolean level to speed up core minimization at the specification level.

    mit Repository record for A constraint solver for software engineering : finding models and cores of large relational specifications (opens in a new tab)

  3. Unconstrained Road Sign Recognition

    … the second part, we propose a geometrical shape symmetry detection and reconstruction algorithm to detect and reconstruct the shape of the sign when it is partially occluded. This algorithm is robust to scale changes and rotations. The last part of this thesis deals with feature extraction and …

    de-montfort Repository record for Unconstrained Road Sign Recognition (opens in a new tab)

  4. Cognitive representation of facial asymmetry

    The human face displays mild asymmetry, with measurements of facial structure differing from left to right of the meridian by an average of three percent. Presently this source of variation is of theoretical interest primarily to researchers studying the perception of beauty, but a very limited …

    glasgow Repository record for Cognitive representation of facial asymmetry (opens in a new tab)

  5. Protein Shape Description and its Application to Shape Comparison

    … how these descriptors can be applied in symmetry detection and protein-domain clustering. The ability to detect cyclic (C), dihedral (D), tetrahedral (T), octahedral (O) and icosahedral (I) symmetry groups as well as computing all associated symmetry elements has direct applications in …

    cambridge Repository record for Protein Shape Description and its Application to Shape Comparison (opens in a new tab)

  6. Automatic detection and segmentation of brain lesions from 3D MR and CT images

    The detection and segmentation of brain pathologies in medical images is a vital step which helps radiologists to diagnose a variety of brain abnormalities and set up a suitable treatment. A number of institutes such as iThemba LABS still rely on a manual identification of abnormalities. A manual …

    cape-town Repository record for Automatic detection and segmentation of brain lesions from 3D MR and CT images (opens in a new tab)

  7. Sound Source Segregation in the Acoustic Parasitiod Fly Ormia ochracea

    … song and masking noise does not reduce song detection thresholds nor improve song localization accuracy. Instead, walking responses are diverted away from both song and noise. My findings support the idea that the ears of O. ochracea function as bilateral symmetry detectors to balance sound …

    toronto-retro Repository record for Sound Source Segregation in the Acoustic Parasitiod Fly Ormia ochracea (opens in a new tab)

  8. A study of Symmetric and Repetitive Structures in Image-Based Modeling

    … We also investigated the problem on automatic detection of repetitive structures in the recovered scene and proposed a method to jointly analyze images and 3D point clouds to symmetric lattices. Finally, symmetry is further exploited for a novel camera calibration method and an interactive 3D …

    nus Repository record for A study of Symmetric and Repetitive Structures in Image-Based Modeling (opens in a new tab)