248 search results - page 3 / 50 » Virtual Symmetry Reduction |
TACAS
2000
Springer
13 years 9 months ago
2000
Springer
We present three methods for the integration of symmetries into reachability analysis. Two of them lead to perfect reduction but their runtime depends on the symmetry structure. Th...
GREC
2003
Springer
13 years 11 months ago
2003
Springer
We aim to reconstruct three-dimensional polyhedral solids from axonometric-like line drawings. A new approach is proposed to make use of planes of mirror symmetry detected in such ...
TASE
2008
IEEE
14 years 19 days ago
2008
IEEE
Symmetry reduction holds great promise to counter the state explosion problem. However, currently it is “conducting a life on the fringe”, and is not widely applied, mainly du...
AAAI
2011
12 years 6 months ago
2011
Previous research in Artificial Intelligence has identified the possibility of simplifying planning problems via the identification and exploitation of symmetries. We advance t...
TASE
2007
IEEE
14 years 16 days ago
2007
IEEE
Symmetry reduction is a technique that can help alleviate the problem of state space explosion in model checking. The idea is to verify only a subset of states from each class (or...