4067 search results - page 28 / 814 » Programs for Applying Symmetries |
AMAI
2010
Springer
13 years 5 months ago
2010
Springer
Abstract We present a new approximate verification technique for falsifying the invariants of B models. The technique employs symmetry of B models induced by the use of deferred se...
CVPR
2012
IEEE
11 years 10 months ago
2012
IEEE
We present a new technique for extracting local features from images of architectural scenes, based on detecting and representing local symmetries. These new features are motivate...
ICPR
2010
IEEE
14 years 2 months ago
2010
IEEE
This paper proposes the use of a new symmetry property based on proximity of the median moments in the wavelet domain. The method divides a given frame into 16 equally sized blocks...
ISBI
2011
IEEE
12 years 11 months ago
2011
IEEE
In this paper, we propose a graph-based method for fullyautomatic segmentation of the left ventricle and atrium in 3D ultrasound (3DUS) volumes. Our method requires no user input ...
STACS
2009
Springer
14 years 2 months ago
2009
Springer
Cellular automata (CA) are dynamical systems defined by a finite local rule but they are studied for their global dynamics. They can exhibit a wide range of complex behaviours an...