989 search results - page 12 / 198 » Dynamic Symmetry Reduction |
CASC
2007
Springer
14 years 1 months ago
2007
Springer
PRL
2002
13 years 9 months ago
2002
IANDC
2010
13 years 8 months ago
2010
The semantics of name-passing calculi is often defined employing coalgebraic models over presheaf categories. This elegant theory lacks finiteness properties, hence it is not ap...
KESAMSTA
2010
Springer
14 years 2 months ago
2010
Springer
The first trial of using the symmetry analysis method in modeling of behavior of complex social system is presented in this work. The evacuation of large building scenarios are d...
ECAI
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. Some constraint problems have a combinatorial structure where the constraints allow the sequence of variables to be rotated (necklaces), if not also the domain values to ...