257 search results - page 19 / 52 » Breaking Value Symmetry |
CDC
2009
IEEE
13 years 11 months ago
2009
IEEE
Several recent control applications consider the coordination of subsystems through local interaction. Often the interaction has a symmetry in state space, e.g. invariance with res...
CAV
2004
Springer
13 years 11 months ago
2004
Springer
Sequential consistency is the archetypal correctness condition for the memory protocols of shared-memory multiprocessors. Typically, such protocols are parameterized by the number ...
ATVA
2007
Springer
13 years 11 months ago
2007
Springer
We present a new verification technique for Promela which exploits state-space symmetries induced by scalarset values used in a model. The technique involves efficiently computing ...
ECCV
2006
Springer
14 years 9 months ago
2006
Springer
A novel shape descriptor is introduced. It groups pairs of points that share a geometrical property that is based on their mutual symmetry. The descriptor is visualized as a diagon...
SSDBM
2008
IEEE
14 years 2 months ago
2008
IEEE
Bitmap indexes are known to be efficient for ad-hoc range queries that are common in data warehousing and scientific applications. However, they suffer from the curse of cardina...