1968 search results - page 8 / 394 » Symmetry in Decision Evaluation |
AMAI
2010
Springer
14 years 9 months ago
2010
Springer
Abstract We present a new approximate verification technique for falsifying the invariants of B models. The technique employs symmetry of B models induced by the use of deferred se...
101
click to vote
ICIP
2009
IEEE
16 years 22 days ago
2009
IEEE
We recently proposed a symmetry-based scalable lossless compression method for 3D medical images using the 2D integer wavelet transform and the embedded block coder with optimized...
ICPR
2010
IEEE
15 years 6 months ago
2010
IEEE
This paper proposes the use of a new symmetry property based on proximity of the median moments in the wavelet domain. The method divides a given frame into 16 equally sized blocks...
CIG
2006
IEEE
15 years 5 months ago
2006
IEEE
— Intelligent agents in games and simulators often operate in environments subject to symmetric transformations that produce new but equally legitimate environments, such as reï¬...
118
click to vote
CSCLP
2004
Springer
15 years 5 months ago
2004
Springer
We introduce a framework for studying and solving a class of CSP formulations. The framework allows constraints to be expressed as linear and nonlinear equations, then compiles th...