4067 search results - page 27 / 814 » Programs for Applying Symmetries |
PARCO
2007
13 years 9 months ago
2007
ASE
1998
13 years 7 months ago
1998
ICIP
2001
IEEE
14 years 9 months ago
2001
IEEE
We show how the symmetry of motion can be extracted by using the Generalised Symmetry Operator for analysing motion and for gait recognition. This operator, rather than relying on...
ICCAD
2005
IEEE
14 years 4 months ago
2005
IEEE
Separate optimizations of logic and layout have been thoroughly studied in the past and are well documented for common benchmarks. However, to be competitive, modern circuit optim...
CAV
2006
Springer
13 years 11 months ago
2006
Springer
We present an approach for applying symmetry reduction techniques to probabilistic model checking, a formal verification method for the quantitative analysis of systems with stocha...