63 search results - page 7 / 13 » Symmetry and Consistency |
156
click to vote
QEST
2007
IEEE
16 years 8 days ago
2007
IEEE
We give an overview of GRIP, a symmetry reduction tool for the probabilistic model checker PRISM, together with experimental results for a selection of example specifications. 1 ...
155
click to vote
JNS
2010
15 years 23 days ago
2010
We consider statistical mechanics systems defined on a set with some symmetry properties (namely, the set admits an action by a group, which is finitely generated and residually fi...
207
click to vote
CORR
2011
Springer
15 years 15 days ago
2011
Springer
We propose ALLDIFFPREC, a new global constraint that combines together an ALLDIFFERENT constraint with precedence constraints that strictly order given pairs of variables. We ident...
146
click to vote
EP
1998
Springer
15 years 10 months ago
1998
Springer
This article presents mathematical tools for computer-generated ornamental patterns, with a particular attention payed to Islamic patterns. The article shows how, starting from a p...
135
click to vote
CDC
2009
IEEE
15 years 3 months ago
2009
IEEE
Abstract-- We consider the multiplay model for hysteresis with nonlocal memory. This model consists of N mass/spring/dashpot with deadzone elements. The hysteresis map of the multi...