51,524 Hits in 2.4 sec

Constraint-based automatic symmetry detection

Shao Jie Zhang, Jun Sun, Chengnian Sun, Yang Liu, Junwei Ma, Jin Song Dong
2013 2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE)  
We present an automatic approach to detecting symmetry relations for general concurrent models.  ...  To the best of our knowledge, our method is the first approach that can automatically detect both process and data symmetries as demonstrated via a number of systems.  ...  Static Channel Diagrams Donaldson and Miler design a fully automatic approach to detecting process symmetries for channel-based communication systems [13] , [14] .  ... 
doi:10.1109/ase.2013.6693062 dblp:conf/kbse/Zhang0SLMD13 fatcat:qkmutrv5q5anvpf2i55cyr7lwa

Multilevel symmetry-constraint generation for retargeting large analog layouts

S. Bhattacharya, N. Jangkrajarng, C.-J.R. Shi
2006 IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems  
The method has been implemented in a layoutretargeting system called Intellectual Property Reuse-based Analog IC Layout (IPRAIL) and demonstrated 18 times reduction in the number of symmetry constraints  ...  In this paper, we present a new method of multilevel symmetry-constraint generation by utilizing the inherent circuit structure and hierarchy information from the extracted netlist.  ...  It is based on two key techniques. First, at the device level, a method for automatic detection of designer-intended symmetries in the source layout is developed.  ... 
doi:10.1109/tcad.2005.855982 fatcat:tctvgcplzzej3n4x7ocgobuwdq

Automatic symmetry-integrated brain injury detection in MRI sequences

Yu Sun, Bir Bhanu, Shiv Bhanu
2009 2009 IEEE Computer Society Conference on Computer Vision and Pattern Recognition Workshops  
The approach consists of the following steps: (a) symmetry integrated segmentation of brain slices based on symmetry affinity matrix, (b) computation of kurtosis and skewness of symmetry affinity matrix  ...  This paper presents a fully automated symmetry-integrated brain injury detection method for magnetic resonance imaging (MRI) sequences.  ...  Automatic Symmetry-integrated Brain Injury Detection in MRI SequencesYu Sun 1 , Bir Bhanu 1 , Shiv Bhanu 2 1.  ... 
doi:10.1109/cvprw.2009.5204052 dblp:conf/cvpr/SunBB09 fatcat:53gxklgcqvfbphuzri64nswdfa

Correct-by-construction layout-centric retargeting of large analog designs

Sambuddha Bhattacharya, Nuttorn Jangkrajarng, Roy Hartono, C.-J. Richard Shi
2004 Proceedings of the 41st annual conference on Design automation - DAC '04  
From an existing layout representation, an analog circuit is retargeted to different processes and performances; the corresponding correct-byconstruction layouts are generated automatically and have performances  ...  The template extractor automatically detects such symmetry in passive devices and imposes appropriate symmetry constraints in a manner similar to intra-cluster symmetry for transistors.  ...  The unit transistors in L L and L R are then pair-wise compared to detect the vertical axis of symmetry, s 6 , and generate the corresponding constraints.  ... 
doi:10.1145/996566.996609 dblp:conf/dac/BhattacharyaJHS04 fatcat:pjqtd334y5f2jh7z3j6tws7rha

Symmetry-integrated injury detection for brain MRI

Yu Sun, Bir Bhanu, Shiv Bhanu
2009 2009 16th IEEE International Conference on Image Processing (ICIP)  
and skewness of symmetry affinity matrix.  ...  This paper presents a new brain injury detection approach in images acquired by magnetic resonance imaging (MRI).  ...  Our system for injury detection is based on exploiting symmetry of the brain.  ... 
doi:10.1109/icip.2009.5414064 dblp:conf/icip/SunBB09 fatcat:6yfdvmxwbrcxpjpc5szrpi7opa

Dense 3D Reconstruction of Symmetric Scenes from a Single Image [chapter]

Kevin Köser, Christopher Zach, Marc Pollefeys
2011 Lecture Notes in Computer Science  
A system is presented that takes a single image as an input (e.g. showing the interior of St.Peter's Basilica) and automatically detects an arbitrarily oriented symmetry plane in 3D space.  ...  This naturally creates a symmetry in the matching costs for dense stereo. Alternatively, we also show how to enforce the 3D symmetry in dense depth estimation for the original image.  ...  [5] ) or silhouette-based reconstruction therein [20] . The second category of approaches is concerned about automatic detection of symmetry.  ... 
doi:10.1007/978-3-642-23123-0_27 fatcat:ivl6fe7l7jfjdh3omid3bssfdm

Lightweight Detection of Variable Symmetries for Constraint Satisfaction

Christophe Lecoutre, Sebastien Tabary
2009 2009 21st IEEE International Conference on Tools with Artificial Intelligence  
In this paper, we propose to automatically detect variable symmetries of CSP instances by computing for each constraint scope a partition exhibiting locally symmetric variables.  ...  From this local information obtained in polynomial time, we can build a so-called lsv-graph whose automorphisms correspond to (global) variable symmetries.  ...  The automatic detection of symmetries has also been addressed using software computing graph automorphisms.  ... 
doi:10.1109/ictai.2009.67 dblp:conf/ictai/LecoutreT09 fatcat:ooohbbdhujaetglpewosyf5dqu

Symmetry in Mathematical Programming [chapter]

Leo Liberti
2011 IMA Volumes in Mathematics and its Applications  
We then discuss a method (introduced in [35]) for automatically detecting symmetries of general (nonconvex) Nonlinear and Mixed-Integer Nonlinear Programming problems and a reformulation based on adjoining  ...  symmetry breaking constraints to the original formulation.  ...  Automatic symmetry detection. Automatic symmetry detection does not appear prominently in the mathematical programming literature.  ... 
doi:10.1007/978-1-4614-1927-3_9 fatcat:h7a6r6lkqjbydkx5imxlutlsbi

Automatically Exploiting Symmetries in Constraint Programming [chapter]

Arathi Ramani, Igor L. Markov
2005 Lecture Notes in Computer Science  
Symmetries are detected in high-level constraints by solving the graph automorphism problem on parse trees. Symmetry-breaking predicates are added during compilation.  ...  While in general reduction to SAT may lead to the loss of structure, we specifically detect several types of structure in high-level input and use them in compilation.  ...  Other work [14] has focused on symmetrybreaking ordering constraints for known or declared symmetries in generalized CSPs, but we detect and break symmetries automatically.  ... 
doi:10.1007/11402763_8 fatcat:vzwf76fwpnh65c7ha2fsebgd2u

Discovering and exploiting 3D symmetries in structure from motion

A. Cohen, C. Zach, S. N. Sinha, M. Pollefeys
2012 2012 IEEE Conference on Computer Vision and Pattern Recognition  
Furthermore, based on the symmetries, 3D structure completion is also performed.  ...  A set of structural constraints derived from the symmetries are imposed within a new constrained bundle adjustment formulation, where symmetry priors are also incorporated.  ...  Our approach for detecting 3D symmetries is based on image cues.  ... 
doi:10.1109/cvpr.2012.6247841 dblp:conf/cvpr/CohenZSP12 fatcat:uu63i3ozhnezrmeiuahc4wdc2m

A Feature-Based CAD Approach to Jewellery Re-engineering

Vasiliki Stamati, Ioannis Fudos
2005 Computer-Aided Design and Applications  
Constraints are automatically detected based on the skeleton and then an iterative interactive process is carried out, during which features are fitted to the point cloud according to constraints.  ...  For creating editable CAD models meant for manufacturing we identify that it is more appropriate to use feature-based constraint-based representations, since they capture plausible design intent.  ...  After the skeleton is extracted, we automatically detect shapes and constraints.  ... 
doi:10.1080/16864360.2005.10738347 fatcat:tdavi4656ndwbcl4sij4b74pfi

LSM-SEC: Tongue Segmentation by the Level Set Model with Symmetry and Edge Constraints

Shanshan Gao, Ningning Guo, Deqian Mao, Nian Zhang
2021 Computational Intelligence and Neuroscience  
In order to increase the evolution force of the energy function, symmetry detection constraints are added to the evolution model.  ...  Based on the symmetry geometry of the tongue, a novel level set initialization method is proposed to improve the accuracy of subsequent model evolution.  ...  Symmetry Detection Constraint.  ... 
doi:10.1155/2021/6370526 fatcat:sw356n2mejc5bklzia7ka3zgnm

IPRAIL—intellectual property reuse-based analog IC layout automation

Nuttorn Jangkrajarng, Sambuddha Bhattacharya, Roy Hartono, C.-J.Richard Shi
2003 Integration  
The reuse-based methodology adopted in IPRAIL utilizes expert designer knowledge embedded in analog layouts.  ...  This paper presents a computer-aided design tool, IPRAIL, which automatically retargets existing analog layouts for technology migration and new specifications.  ...  The symmetry detection in IPRAIL is based on the algorithm described in [20] . Here, we describe the detection for horizontally aligned transistors.  ... 
doi:10.1016/j.vlsi.2003.08.004 fatcat:rmbn44j7sjb7bokxw2mtg4p7cu

Functional Maps with Well Spread-out Constraints

Junjie Cao
2015 Journal of Information and Computational Science  
In this paper, we propose an automatic and robust algorithm based on functional maps for finding nearly isometric maps.  ...  Based on the observation that symmetry axis curves and shape extremities are stable and well-spaced features, we extract and match symmetry axis curves and feature points over shape extremities.  ...  Regional constraints over central regions of models are established based on the symmetry axis alignment.  ... 
doi:10.12733/jics20106780 fatcat:hsmqbjrsjjdjtmahm3h4dqvcbu

Pattern-aware shape deformation using sliding dockers

Martin Bokeloh, Michael Wand, Vladlen Koltun, Hans-Peter Seidel
2011 Proceedings of the 2011 SIGGRAPH Asia Conference on - SA '11  
Figure 1 : Edit example (left to right): The user places constraints (blue) and manipulates the object by moving constraints.  ...  The key idea is to detect continuous and discrete regular patterns and ensure that these patterns are preserved during freeform deformation.  ...  On the other hand, sliding dockers do not require global symmetries and are successfully detected (c) and applied by our technique (d). better base regularizer for object parts where no patterns are found  ... 
doi:10.1145/2070752.2024157 fatcat:et75njtzrfbpzo5ahmp4uja3d4
« Previous Showing results 1 — 15 out of 51,524 results