546 search results - page 8 / 110 » Extended Null-Move Reductions |
ISMVL
2010
IEEE
14 years 1 months ago
2010
IEEE
—Multiway Decision Graphs (MDGs) subsume Binary Decision Diagrams (BDDs) and extend them by a first-order formulae suitable for model checking of data path circuits. In this pap...
DAC
2005
ACM
14 years 9 months ago
2005
ACM
In this paper an optimization based model order reduction (MOR) framework is proposed. The method involves setting up a quasiconvex program that explicitly minimizes a relaxation ...
QEST
2009
IEEE
14 years 3 months ago
2009
IEEE
—Symmetry reduction is a technique for combating state-space explosion in model checking. The generic representatives approach to symmetry reduction uses a language-level transla...
ICIP
2008
IEEE
14 years 2 months ago
2008
IEEE
In this paper, we present a spatial resolution reduction transcoding architecture for H.264/AVC, which extends open-loop transcoding with a low-complexity compensation technique i...
IROS
2007
IEEE
14 years 2 months ago
2007
IEEE
— In this paper, we build upon recent advances in neuroscience research which have shown that control of the human hand during grasping is dominated by movement in a configurati...