1086 search results - page 14 / 218 » Event Structures with Symmetry |
B
2007
Springer
14 years 1 months ago
2007
Springer
Symmetry reduction is an established method for limiting the amount of states that have to be checked during exhaustive model checking. The idea is to only verify a single represen...
JMIV
2006
13 years 7 months ago
2006
Among the many attempts made to represent families of 2D shapes in a simpler way, the Medial Axis (MA) takes a prominent place. Its graphical representation is intuitively appealin...
IROS
2007
IEEE
14 years 1 months ago
2007
IEEE
— Lie group symmetry in a mechanical system can lead to a dimensional reduction in its dynamical equations. Typically, the symmetries that one exploits are intrinsic to the mecha...
CG
2008
Springer
13 years 7 months ago
2008
Springer
Many volume data possess symmetric features that can be clearly observed, for example, those existing in diffusion tensor image data sets. The exploitations of symmetries for volu...
DATE
2006
IEEE
14 years 1 months ago
2006
IEEE
Boolean matching is a powerful technique that has been used in technology mapping to overcome the limitations of structural pattern matching. The current basis for performing Bool...