2179 search results - page 198 / 436 » Symmetry within Solutions |
125
click to vote
FMCAD
2009
Springer
16 years 23 days ago
2009
Springer
—Sequential equivalence checking (SEC) technologies, capable of demonstrating the behavioral equivalence of two designs, have grown dramatically in capacity over the past decades...
154
click to vote
ICANNGA
2009
Springer
16 years 22 days ago
2009
Springer
We propose a generalized model with configurable discretizer actuators as a solution to the problem of the discretization of massive numerical datasets. Our solution is based on a ...
204
click to vote
MIG
2009
Springer
16 years 22 days ago
2009
Springer
Abstract. Despite the large success of games grounded on movement-based interactions the current state of full body motion capture technologies still prevents the exploitation of p...
179
click to vote
SAT
2009
Springer
16 years 22 days ago
2009
Springer
Probabilistic inference techniques can be used to estimate variable bias, or the proportion of solutions to a given SAT problem that fix a variable positively or negatively. Metho...
155
click to vote
CDC
2008
IEEE
16 years 20 days ago
2008
IEEE
— Initial-state opacity emerges as a key property in numerous security applications of discrete event systems including key-stream generators for cryptographic protocols. Speci...