439 search results - page 32 / 88 » Choiceless Computation and Symmetry |
ASM
2010
ASM
15 years 1 months ago
2010
ASM
Symmetry reduction is a model checking technique that can help alleviate the problem of state space explosion, by preventing redundant state space exploration. In previous work, we...
ADCM
1998
14 years 9 months ago
1998
: Linear integral operators describing physical problems on symmetric domains often are equivariant, which means that they commute with certain symmetries, i.e., with a group of or...
DICTA
2003
14 years 11 months ago
2003
This paper presents an efficient method for extracting the skeleton of a planar shape. The method is based on computing local symmetries of the shape’s linearized contour. The ce...
72
Voted
SYMMETRY
2010
14 years 4 months ago
2010
Abstract: The vertices of regular four-dimensional polytopes are used to generate sets of uniformly distributed three-dimensional rotations, which are provided as tables of Euler a...
CG
2008
Springer
14 years 9 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...