439 search results - page 13 / 88 » Choiceless Computation and Symmetry |
ENTCS
2007
14 years 9 months ago
2007
Much of the literature on symmetry reductions for model checking assumes a simple model of computation where the local state of each component in a concurrent system can be repres...
ISSRE
2003
IEEE
15 years 2 months ago
2003
IEEE
Symmetries often appear as properties of many artifical settings. In Program Testing, they can be viewed as properties of programs and can be given by the tester to check the cor...
75
Voted
ICPR
2002
IEEE
15 years 2 months ago
2002
IEEE
We describe spatio-temporal symmetry and its extraction via a Generalised Symmetry Operator. Its use in gait recognition is reinforced by the view from psychology that human gait ...
ICPR
2000
IEEE
15 years 2 months ago
2000
IEEE
DAC
2000
ACM
15 years 2 months ago
2000
ACM
The ordered tree (O-tree) representation has recently gained much interest in layout design automation. Different from previous topological representations of non-slicing floorpl...