1968 search results - page 8 / 394 » Symmetry in Decision Evaluation |
AMAI
2010
Springer
13 years 4 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...
ICIP
2009
IEEE
14 years 8 months 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
14 years 2 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
14 years 1 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ï¬...
CSCLP
2004
Springer
14 years 26 days 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...